如何证明功能依赖性不能被推导出来？

Question

我有relvar R = {A，B，C，D，E，F，G，H} 和FD：

 1. A  -> B
 2. CH -> A
 3. B  -> E
 4. BD -> C
 5. EG -> H
 6. DE -> F

我试图从这6个中派生BFG -> AE和ACG -> DH，我认为这是不可能的。

如何证明？

Answer 1

我找到了一种方法。

找到BFG（符号BFG +）的属性集的闭包。如果有A和E，则可以推导出，否则就无法推断。

同样的ACG。

示例：

    7. BFG+ = BFG   (trivially)
    8. BFG+ = BFGE  (from 3.)
    9. BFG+ = BFGEH (from 5. and 8., EG -> H)

我们无能为力，也没有A，所以无法得到它。