如何证明功能依赖关系不能导出？

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中导出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，因此无法导出。