多值依賴公理

根據Wikipedia上的this section，五條規則（互補，擴充，轉換，複製和合並）和三個阿姆斯壯公理構成了一套完整的多值依賴規則。多值依賴公理

我無法證明這些規則的交集規則。該交叉規則是

（X↠Y和X↠Z）意味着X↠Ÿ∩ž

好像我沒有關於這些規則的權利直覺（或者多值依賴）。儘管我直接從多值依賴的定義中證明了交集規則。

2014-07-07 Tunococ

如果這個問題是關於主題的，「最好的堆棧溢出問題有一些源代碼」（http://stackoverflow.com/help/on-topic）。這可能更適合其他網站之一。 –

@BradKoch感謝您的建議。我自己沒有足夠的聲望來遷移問題。我應該刪除它並在另一個網站上創建另一個嗎？（我應該去哪個站點？） – Tunococ

Re intuition：X - >> Y屬性T中的屬性XYZ意味着T = T投影在投影在XZ上的XY JOIN T上。您可以無損地將T分解爲投影XY和XZ。行滿足XY（x，...，y，...）和XZ（x，...，z，...）。 – philipxy

-1

我強烈懷疑wiki文章上的正式定義是錯誤的。事實上，我認爲這裏所述的定義甚至可以證明，如果一個MVD A - >> B成立，那麼任何MVD A- >> S都不可能與S成立在一起B的子集。這將使得你的交集定理不可能保持一般。

2014-07-07 06:58:32

你能給出更多的細節：你如何表明A↠B意味着A↠S不可能適用於B的任何適當子集S（可能有瑕疵的定義）？ – Tunococ

暫時沒有。這就是爲什麼我說「可疑」和「想」。當我有空時，我會更深入地看待這一點。 –

回答