软考-系统架构设计师：规范化理论-范式

第一范式：1NF

在关系模式R中，当且仅当所有域只包含原子值，即每个分量都是不可再分的数据项，则称R是第一范式。

属性值是不可分的原子值

第二范式：2NF

当且仅当R是1NF，且每一个非主属性完全依赖主键（不存在部分依赖）时，则称R是第二范式。

消除非主属性对候选键的部分依赖

第三范式：3NF

当且仅当R是1NF，且E中没有非主属性传递依赖时，则称R是第三范式。

消除非主属性对候选键的传递依赖

巴斯-科德范式：BCNF

Boyce-Codd Normal Form（巴斯-科德范式）

设R是一个关系模式，F是它的依赖集，R属于BCNF当且仅当其F中每个依赖的决定因素必定包含R的某个候选码。

消除主属性对候选键的传递依赖

目标

逐步优化，以解决：插入异常、删除异常、数据冗余。

一般来说，数据库只需满足第三范式(3NF）就行了。

练习题