设F是属性集 U上的 FD集，如果Fmin是 F的最小依赖集，则Fmin应满足：
（1）F+min=F+；
（2）Fmin中没有冗余的 FD（即在 F中不存在这样的函数依赖 X → Y，使得 F与F -｛X → Y｝等价）；
（3）每个 FD的左边没有冗余的属性（即 F中不存在这样的函数依赖 X → Y，X有真子集 W使得 F-｛ X → Y｝ ∪ ｛ W → Y｝与 F等价）。