第一范式(1NF)
如果关系模式R中每个属性值都是一个不可分解的数据项,则称该关系模式满足第一范式,简称1NF,记为R∈1NF;
第二范式(2NF)
如果一个关系模式R∈1NF,且它的所有非主属性都完全函数依赖于R的码,则R∈2NF;
第三范式(3NF)
如果一个关系模式R∈2NF,且所有非主属性都不传递函数依赖于码,则R∈3NF
BCNF范式(BCNF)
关系模式R∈1NF,对任何非平凡的函数依赖X->Y(Y⊊X),X必包含码,则R∈BCNF(如果R∈BCNF,则R∈3NF)