【发布时间】：2014-07-07 01:44:06
【问题描述】：
根据维基百科上的this section，五个规则（互补、增强、转换、复制和合并）和三个阿姆斯特朗公理构成了一套健全且完整的多值依赖关系规则。
我无法从这些规则中证明交集规则。交集规则是
(X ↠ Y and X ↠ Z) 蕴含 X ↠ Y ∩ Z
似乎我对这些规则（或多值依赖项）没有正确的直觉。我已经直接从多值依赖的定义中证明了交集规则。
【问题讨论】：
-
这个问题是否与主题有关，"the best Stack Overflow questions have a bit of source code in them" 有点不确定。这可能更适合其他网站之一。
-
@BradKoch 感谢您的建议。我没有足够的声誉来自己迁移问题。我应该删除它并在不同的站点上创建另一个吗？ （我应该去哪个网站？）
-
重新直觉：X->>Y in T on attributes XYZ 表示 T = T 投影到 XY JOIN T 投影到 XZ。您可以无损地将 T 分解为投影 XY 和 XZ。行满足 XY(x,...,y,...) AND XZ(x,...,z,...)。
-
@philipxy 谢谢。从join的角度来看，还是挺直观的。从这个意义上说，连接依赖也是直观的。但从公理的角度来看，我不太有直觉......
标签： database relational-algebra