功能依赖关系转换和联合

Question

我一直在想，

我知道： 如果a→bc 我们知道a→a（平凡） 然后联盟的→abc是正确的 所以这就像我们可以将左侧元素放在右侧

但如果这也是真的吗？ 如果a→bc 我们知道b→b（平凡） 然后通过工会，ab→bc ?? 感觉有点奇怪，但如果这可行，那就像我们也可以挑选任何右侧元素并放入左侧。 这是真的吗？

谢谢你们！

Answer 1

如果a→bc则ad→bc表示任何属性d（无论是否出现在此函数依赖关系中）。实际上，通过the reflexivity axiom ad→a，然后ad→bc，来自ad→a和a→bc的传递性公理。