功能依赖性的推理规则,X-> A,Y-> B,XY-> AB

时间:2014-05-04 14:59:21

标签: database functional-dependencies inference

正如标题中所述,我无法理解为什么如果我们有X-> A和Y-> B,那么为什么写XY-> AB是错误的。他们我理解它,如果A在功能上依赖于X而B在功能上依赖于Y,那么当我们在左侧有XY时,我们应该在右侧有相应的值。无论如何,我的书说这是错的,所以有人能给我一个证明错误的例子吗?在此先感谢:)

2 个答案:

答案 0 :(得分:0)

你以错误的方式解决这个问题。

为了" {X-> A,Y-> B},因此XY-> AB"事实上,需要证明你可以使用阿姆斯特朗的公理和附加来证明你可以从{X-> A,Y-> B}导出XY-> AB来自阿姆斯特朗公理的规则。

答案 1 :(得分:0)

如果 X 唯一确定 A ,同样 Y 唯一确定 B ,则的任意组合XY 唯一确定 AB

因此, X-> A,Y-> B 推断 XY-> AB true

更多支持链接。

http://en.wikipedia.org/wiki/Functional_dependency ...

请参阅此处的构图规则。不够纤维? 然后在以下链接中,幻灯片9说明

  

教科书,第341页:“...... X A和Y B并不意味着XY AB。”   证明这种说法是错误的。

http://www.ida.liu.se/~TDDD37/fo/fo-normalization

此外,迈克的答案是试图证明“反之亦然”,这可能不一定是真的。