函数依赖式

X → Y  IF  X → Z  and  Y → Z

我一直在尝试使用阿姆斯特朗的公理函数依赖及物规则来解决这个方程...函数依赖式

随着X→Z

T1 [X] = T2 [X]，然后T1 [Z] = T2 [Z]

Y还→Z

T3 [Y] = T4 [Y]然后T3 [Z] = T4 [Z]

虽然从这里我失去了如何解决这个方程，如果它是真的或假的。在线阅读，但似乎过度复杂的方程。

从简单的维基百科工作，这是不正确的;采取任何符合'X - > Z'和'Y - > Z'的关系，但是没有'x'与任何'y'有关。如果在第二种情况下有'Z - > Y'，则传递性将起作用，而“反向”不起作用。基本上，传递性就是让我们得出结论（对于数字）“如果a

谢谢回来，相信自己这不是真的，这就是为什么我不能解决它。刚刚需要第二个意见incase我没有采取正确的。谢谢！ –

我建议与知道这个东西的人核实一下，就像我说的，我是从一个维基的快速浏览工作。 –

方程有没有 solution..this无法实现

可以实现方程式时Z->ý

通过传递函数依赖，

X- > Z和Z-> Y 其中给出

X-> Y

来源

2015-06-27 09:04:14 Lordferrous

回答