范式的定义

关系数据库中的关系要满足一定的要求，满足不同程度要求的为不同范式。现在的最高要求到 第五范式（5NF）。


设：R(U) 是属性集 U 上的关系模式

第一范式（1NF）：每一个分量必须是不可分的数据项。


第二范式（2NF）：R∈1NF，且每一个非主属性完全函数依赖于码。


第三范式（3NF）：关系模式R中若不存在这样的码X，属性组Y及非主属性Z（Z⊄Y）使得X→Y，Y→Z成立，Y！→（不能推出）X，则称R∈3NF。
      推论：若R∈3NF，则每一个非主属性即不部分依赖于码，也不传递依赖于码。


BCNF：关系模式R ∈ 1NF，若X→Y且Y⊄X时X必含有码。
      即：关系模式R中，每一个决定因素都包含码，则R ∈ BCNF。


第四范式（4NF）：关系模式R ∈ 1NF，如果对于R的每个非平凡多值依赖X→→Y（Y⊄X），X都含有码。


第5范式（5NF）：如果关系模式R中的每一个连接依赖均由R的候选码所隐含，则称R∈5NF。