1NF（第一范式）
定义：若关系模式R的每一个分量是不可再分的数据项，则关系模式R属于第一范式。记为R∈1NF
• 存在的问题：
（1）数据冗余。
（2）更新异常(修改操作后数据不一致)。
（3）插入异常。
（4）删除异常。
2NF（第二范式）
• 定义：若关系模式R∈1NF，且每一个非主属性完全依赖于码，则关系模式R∈2NF。
• 换句话说：当1NF消除了非主属性对码的部分函数依赖，则称为2NF。
3NF（第三范式）
• 定义：若关系模式R(U,F)中不存在这样的码X，属性组Y及非主属性Z（Z⊈Y）使得
X→Y,(Y⇸X) Y→Z成立，则关系模式R∈3NF。
• 即：当2NF消除了非主属性对码的传递函数依赖，则称为3NF。
BCNF（巴克斯范式）
• 定义：关系模式R∈1NF，若X→Y且Y⊈X时，X必含有码，则关系模式R∈BCNF。
• 也就是说，当3NF消除了主属性对码的部分函数依赖和传递函数依赖，则称为BCNF。
• 结论：一个满足BCNF的关系模式，应有如下性质：
（1）所有非主属性对每一个码都是完全函数依赖；
（2）所有主属性对每一个不包含它的码，也是完全函数依赖；
（3）没有任何属性完全函数依赖于非码的任何一组属性。
4NF（第四范式）
• 定义：关系模式R∈1NF，若对于R的每个非平凡多值依赖X→→Y且Y⊈X时，X必含
有码，则关系模式R(U,F)∈4NF。
• 4NF是限制关系模式的属性间不允许有非平凡且非函数依赖的多值依赖。
• 注意：如果只考虑函数依赖，关系模式最高的规范化程度是BCNF，如果考虑多值
依赖，关系模式最高的规范化程度是4NF。
总结
1NF⊃2NF⊃3NF⊃BCNF⊃4NF⊃5NF
通过分解，可以将一个低一级范式的关系模式转换成若干个高一级范式的关系模式，这种过程叫做规范化。
如下图很重要需要理解记忆
