求最小函數依賴集

 

 

 判斷AB是否冗余 即分別求A、B的閉包，求閉包的方法在課本P192例6.11，求出閉包后發現A的閉包為A\B\C\D ，所以A能單獨推出C，求B的閉包發現B不能單獨推出C所以B是冗余的 

 

 

 

 

 

 方法：一個一個的去掉試試，去掉A->D，求A的閉包，去掉A->B求A的閉包，去掉A->C求A的閉包，去掉C->D求C的閉包，如果去掉之后求的閉包還是全集，則去掉的函數依賴關系就是冗余的

可以根據最小函數依賴集求候選碼，

 

 A能推出B，A能推出C，C能推出D，所以A也能推出D，所以A為候選碼。