如何證明函數依賴不能派生？

Question

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

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，所以它不能被導出。