软设之数据库规范化理论——范式

数据库规范化理论范式

范式存在第一范式，第二范式，第三范式，BC范式

第一范式（1NF）：在关系模式R中，当且仅当所有域中只包含原子值，即每个属性都是不可再分的数据项时，则称关系模式R是第一范式

第二范式（2NF）：当且仅当实体E是第一范式，且每一个非主属性完全依赖主键时，则称实体E是第二范式。

第三范式（3NF）：当且仅当实体E是第二范式，且E中没有非主属性传递依赖于码时，则称实体E是第三范式

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

总结

范式	属性是否不可再分	非主属性部分函数依赖于候选键	非主属性传递函数依赖于候选键	函数依赖左侧决定因素包含候选键
1NF	√	存在
2NF	√	不存在	存在
3NF	√	不存在	不存在	不满足
BCNF	√	不存在	不存在	满足