摘要： 判断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求 阅读全文