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

（1）F+min=F+；

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

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

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