我书中的定义说：
F 逻辑上隐含的所有函数依赖的集合是 F 的闭包。
我的问题是，我们是否也将 FD 包含在 F 中的 F 闭包中？
如果我有：
F = {A→B, B→C}一个）
F+ = {A→C, A→BC, A→B, B→C}二）
F+ = {A→C, A→BC}
a) 或 b) 哪个是正确的？
AskOverflow.Dev
由于每个依赖项都暗示了自己（考虑到在逻辑上每个断言都暗示了自己这一事实），
F因此包含在F+. 但请注意，在您的示例F+中，除了您列出的依赖项之外，还包含相当多的依赖项，例如A→A,AB→C,B→B,AC→A等。