最小依賴集

最小依賴集，信息技術術語，設F是屬性集 U上的 FD集，如果Fmin是 F的最小依賴集，則Fmin應滿足。

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