例如在下面的例子中
令 F={AB→C, B→D, CD→E, CE→GH, G→A}
我们有AB→G吗？
我们没有任何功能依赖。
我能够在它起作用时显示功能依赖性，但是当它不起作用时如何显示反例？
AskOverflow.Dev
例如在下面的例子中
令 F={AB→C, B→D, CD→E, CE→GH, G→A}
我们有AB→G吗？
我们没有任何功能依赖。
我能够在它起作用时显示功能依赖性，但是当它不起作用时如何显示反例？
要确定函数依赖 AB→G 是否由 F 隐含，您应该找到 F 下属性 AB 的闭包，即 AB +。
这些是步骤：
又因为G属于AB +，那么AB→G可以从F推导出来。