函數依賴式

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

回答