BCNF 和 3NF 属性

BCNF and 3NF property

我读到一个声明“如果一个关系在 3NF 中并且不包含任何重叠的候选键那么它肯定在 BCNF 中”

假设我们考虑具有以下函数依赖关系的关系 R(A,B,C,D):-

AB --> CD

C --> A

这里只有候选键是AB,结果关系是3NF而不是BCNF,因为C不是超级键。 所以上面的说法不成立。

我哪里错了?

您的关系有重叠的候选键。虽然它没有出现在给定函数依赖的左侧,但我们可以推导出 BC 是候选键的事实。

从C->A开始,我们可以使用阿姆斯壮的增广公理来确定CB->AB,因为已知AB是候选键,这意味着所有其他属性都已确定。