求最小函数依赖集

 

 

 判断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为候选码。