我读了一条声明“如果一个关系在3NF并且不包含任何重叠的候选键那么它肯定在BCNF”
假设我们考虑具有以下函数依赖关系的R(A,B,C,D)关系: -
AB - > CD
C - >甲
这里只有候选键是AB,结果关系是3NF而不是BCNF,因为C不是超级键。 所以上述说法并不成立。
我哪里错了?
答案 0 :(得分:2)
您的关系具有重叠的候选键。虽然它没有出现在给定函数依赖项的左侧,但我们可以推导出BC是候选键的事实。
从C开始 - > A,我们可以使用阿姆斯特朗的增强公理来确定CB - > AB,因为已知AB是候选键,这意味着所有其他属性都已确定。