1. 程式人生 > >正規化(1NF、2NF、3NF、BCNF)

正規化(1NF、2NF、3NF、BCNF)

候選碼:集合(元組)中的屬性或屬性組,能唯一決定集合(元組)(可以子集亦可決定)。

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):在第三正規化的基礎上,所有的函式依賴中決定因素都包含碼。