正常化消除冗余属性

Question

如果我有一个函数依赖：F = {ABH-> CK，A-> d，C-> E， BGH-> L，L-> AD，E-> L，BH- >电子}

任何一个可以解释为什么在ABH-> CK冗余，什么是AB，BH和AH关闭？

谢谢！

Answer 1

由于BH -> E -> L -> AD，我们可以说，BH -> A通过应用传递的阿姆斯特朗统治了两次，随后分解。从那里，如果我们包括微不足道的FD BH -> BH，我们会看到那BH -> ABH。再次使用传递性，BH -> ABH -> CK可以减少到BH -> CK，即A不需要确定CK。

相对于一个给定的行列式一组的FD的所述的封闭可以通过再次使用Armstrong的规则应用于所有函数依赖结合直接或间接地从所选择的行列式如下来计算。例如，对于BH：

BH -> BH (trivial) 
BH -> BEH (union with BH -> E) 
BH -> BEHL (union with BH -> L which follows from BH -> E -> L) 
BH -> ABDEHL (union with BH -> AD which follows from BH -> L -> AD) 
BH -> ABCDEHKL (union with BH -> CK since BH -> ABH -> CK) 

因此BH* = ABCDEHKL。请注意，G未被派生，所以BH不是候选关键字。