ABCDE都是主属性,BCNF中不存在主属性对码的部分依赖。在R中的函数依赖中决定性因素不包含码。
三、考虑关系模式R(A,B,C,D),写出满足下列函数依赖时R的码,并给出R属于哪种范式(1NF、2NF、3NF或BCNF)。
B→D,AB→C
码:AB;3NF。
A→B,A→C,D→A
码:D;2NF。
BCD→A,A→C
码:ABD、BCD;3NF。
B→C,B→D,CD→A
码:B;2NF。
ABD→C
码:ABD;BCNF。
判断依据(几个范式的定义及规范过程):
1NF:若关系模式R的每一个分量是不可再分的数据项,则关系模式R属于第一范式(1NF)。
2NF:若R∈1NF,且每一个非主属性完全函数依赖于任何一个候选码,则R∈2NF。
3NF:设关系模式R∈1NF,若R中不存在这样的码X,属性组Y及非属性组Z(Z不是Y的子集),使得X→Y,Y→Z成立(X不函数依赖于Y),则称R∈3NF。
BCNF:关系模式R∈1NF,若X→Y且Y不属于X时,X必含有码,则R∈BCNF。