正常化消除冗餘屬性

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不是候選關鍵字。