最小函数依赖集

定义 :

如果函数依赖集F 满足下列条件，则称F 为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。
1) F 中任一函数依赖的右部仅含有一个属性。
2) F 中不存在这样的函数依赖X →A ，使得F 与F-{X →A} 等价。
3) F 中不存在这样的函数依赖X →A ，X 有真子集Z 使得F-{X →A} ∪{Z-A} 与F 等价。

 

算法 :

1) 逐一检查F 中各函数依赖X →Y ，若Y=A1 A2 …Ak ，k ≥2 ，则用{X →Aj |j=1 ，2 ，…k} 来取代X →Y 。
2) 逐一检查F 中各函数依赖X →A ，令G=F-{X →A} ，若A ∈XG + ，则从F 中去掉此函数依赖。
3) 逐一取出F 中各函数依赖X →A ，设X=B1 B2 …Bm ，逐一检查Bi （i=1 ，2 ，…，m ），如果A ∈(X-Bi )F + ，则以X-Bi 取代X 。