我一直在研究阿姆斯特朗的公理。在家庭作业 [1] 练习中，我被要求证明 A→G 在 F 闭包中。我设法在这一点上得到它：
AB → GB
在这一点上，我可以简单地说 A → G，因为它看起来很简单，还是我也必须经过某些步骤。正如阿姆斯特朗的公理所说：
if X → Y then XZ → YZ
反之亦然吗？
if XZ → YZ then X → Y <-- ?
[1] 我认为作业的内容与这里无关。
AskOverflow.Dev
我一直在研究阿姆斯特朗的公理。在家庭作业 [1] 练习中，我被要求证明 A→G 在 F 闭包中。我设法在这一点上得到它：
AB → GB
在这一点上，我可以简单地说 A → G，因为它看起来很简单，还是我也必须经过某些步骤。正如阿姆斯特朗的公理所说：
if X → Y then XZ → YZ
反之亦然吗？
if XZ → YZ then X → Y <-- ?
[1] 我认为作业的内容与这里无关。
不，那不是真的。
阿姆斯特朗的公理是函数依赖的逻辑蕴涵的合理和完整的公理化。
这是一个关系，其中函数依赖关系
XZ → YZ成立：但功能依赖性
X → Y并不成立，如元组x1 y1 z1和x1 y2 z2所示。由于阿姆斯特朗公理的可靠性，这意味着只能推导出有效的函数依赖性，“逆”是不正确的。所以我们构造了一个反例。如果这个“逆”定律成立，那么我们可以证明
X → Y对于任意属性集X和Y：不，反之则不然。假设：
是假的。
您可能只有
XZ → Y例如，您可以从中推断出XZ → YZ其他一些。但不是X → Y。