版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/qq_37334150/article/details/80430854
候选码:集合(元组)中的属性或属性组,能唯一决定集合(元组)(可以子集亦可决定)。
EG:
(A,B,C,D,E),
其函数依赖关系:F={ABC->DE,BC->D,D->E}。
其候选码为:ABC。
而非BC的原因是:BC为候选码不包括A,元组不完整,而ABC为候选码,决定DE,一共ABCDE与元组相符合。
EG2:
R(S,Y,Z) ,F={Y->Z,XZ->Y}
候选码:XY(吵码) , XZ
3NF
第一范式(1NF): 原始不可再分;
第二范式(2NF):非主属性完全依赖于码
第三范式(3NF):非主属性完全依赖于码
BC范式(BCNF):在第三范式的基础上,所有的函数依赖中决定因素都包含码。