設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等價）。
