我书中的定义说：
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) 哪个是正确的？
我一直在研究阿姆斯特朗的公理。在家庭作业 [1] 练习中，我被要求证明 A→G 在 F 闭包中。我设法在这一点上得到它：
AB → GB
在这一点上，我可以简单地说 A → G，因为它看起来很简单，还是我也必须经过某些步骤。正如阿姆斯特朗的公理所说：
if X → Y then XZ → YZ
反之亦然吗？
if XZ → YZ then X → Y <-- ?
[1] 我认为作业的内容与这里无关。