设F是属性集 U上的 FD集，如果Fmin是 F的最小依赖集，则Fmin应满足：

（1）F+min=F+；

（2）每个FD的右边都是单属性。

（2）Fmin中没有冗余的 FD（即在 F中不存在这样的函数依赖 X → Y，使得 F与F -｛X → Y｝等价）；

（3）每个 FD的左边没有冗余的属性（即 F中不存在这样的函数依赖 X → Y，X有真子集 W使得 F-｛ X → Y｝ ∪ ｛ W → Y｝与 F等价）。