数据库的范式

第一范式（1NF）
如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈1NF。第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。但是满足第一范式的关系模式并不一定是一个好的关系模式。

第二范式（2NF）
若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于R的码，则R∈2NF。

第三范式（3NF）
关系模式R<U，F> 中若不存在这样的码X、属性组Y及非主属性Z（Z  Y）, 使得X→Y，Y → X，Y→Z，成立，则称R<U，F> ∈ 3NF。若R∈3NF，则R的每一个非主属性既不部分函数依赖于候选码也不传递函数依赖于候选码。
BC范式（BCNF）
设关系模式R<U，F>∈1NF，如果对于R的每个函数依赖X→Y，若Y不属于X，则X必含有候选码，那么R∈BCNF。换句话说，在关系模式R<U，F>中，如果每一个决定属性集都包含候选码，则R∈BCNF。
BCNF的关系模式所具有的性质
⒈ 所有非主属性都完全函数依赖于每个候选码。
⒉ 所有主属性都完全函数依赖于每个不包含它的候选码。
⒊ 没有任何属性完全函数依赖于非码的任何一组属性。