范式（1NF、2NF、3NF、BCNF）

版权声明：本文为博主原创文章，未经博主允许不得转载。 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）：在第三范式的基础上，所有的函数依赖中决定因素都包含码。