根据维基百科上的AA>，五个规则（互补、增强、转换、复制和合并）和三个阿姆斯壮公理构成了一个完整的多值依赖规则集。
我很难从这些规则中证明交集规则。交集规则是
（x y和x z）表示x y z
似乎我对这些规则（或多值依赖项）没有正确的直觉。不过，我已经从多值依赖的定义中直接证明了交集规则。
最佳答案
我强烈怀疑wiki文章中的正式定义是错误的。
事实上，我认为这里所述的定义甚至可以证明，如果一个mvd a-->>b成立，那么任何一个mvd a-->>s都不可能用s来成立一个b的适当子集，这将使交集定理不可能成立。