多值依赖公理

Question

根据维基百科上的this section，五个规则（补充，扩充，转换，复制和合并）和三个阿姆斯特朗的公理构成了一个完整的多值依赖规则。

我无法从这些规则中证明交叉规则。交叉规则是

  

（X↠Y和X↠Z）表示X↠Y∩Z

似乎我对这些规则（或多值依赖关系）没有正确的直觉。我已经直接从多值依赖的定义证明了交集规则。

Answer 1

我强烈怀疑维基文章的正式定义是错误的。

事实上，我认为那里所述的定义甚至可以证明如果MVD A - >＆gt; B持有，那么任何MVD A都不可能 - >＆gt; S用S保持一个适当的B子集。这将使你的交集定理不可能保持一般。