关系模式的范式:
第一范式(1NF):关系模式R的每个关系 r 的属性值都是不可分的原子值。
2NF:在关系模式R中消除非主属性对候选键的局部依赖。
3NF:在关系模式R中消除非主属性对候选键的传递依赖。
BCF:消除主属性对候选键的传递依赖。
补充:
对于FD(函数依赖) W->A,如果存在X是W的子集,且有X->A,那么称W->A是局部依赖(A局部依赖于W);否则称W->A是完全依赖(完全依赖又称为左部不可约依赖)。
如果X->Y,Y->A,且Y!->X(Y不能反推出)和A!∈(不属于)Y,那么称X->A是传递依赖(A传递依赖于X)。