反例來證明不存在函式依賴

例如在下面的例子中

設 F={AB→C, B→D, CD→E, CE→GH, G→A}

我們有 AB→G 嗎？

我們沒有任何功能依賴。

我可以在它工作時展示一個功能依賴，但是當它不工作時如何展示一個反例？

要查找函式依賴 AB→G 是否由 F 隱含，您應該找到 F 下屬性 AB 的閉包，即 AB +。

這些是步驟：

AB+ = AB
     ABC     (using AB→C)
     ABCD    (using B→D)
     ABCDE   (using CD→E)
     ABCDEGH (using CE→GH)

由於 G 屬於 AB +，所以 AB→G 可以從 F 導出。

引用自：https://dba.stackexchange.com/questions/132788