函数依赖关系的推理规则,X->A、Y->B、XY->AB



正如标题中所说,我很难理解为什么如果我们有X->A和Y->B,那么为什么写XY->AB是错误的。我的理解是,如果A函数依赖于X B函数依赖于Y,那么当左边有XY时右边就应该有它们对应的值。无论如何,我的书说这是错误的,谁能给我一个例子证明这是错误的?提前感谢:)

你做错了。

为了使"{X->A, Y->B},因此XY->AB"为真,需要证明你可以仅使用Armstrong公理和由Armstrong公理推导出的附加规则,从{X->A, Y->B}推导出XY->AB。

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

, X -> A, Y - B> 推断 AB XY ->

更多支持链接。

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

查看这里的组合规则。不够可信?然后在下面的链接中,幻灯片9说

教科书,第341页:"…X A, Y B并不意味着XY AB。"证明这个说法是错误的。

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

此外,Mike的答案试图证明"反之亦然",这可能不一定是正确的。

最新更新