一范式:关系模式R所有的属性都是不可分割的,不能为组合属性、多值属性。
一范式是数据库设计里的必要条件。
二范式
非主码的属性集依赖于主码属性集,不依赖于主码属性集的子集
BCNF(Boyce-bodd Normal form–BC范式)
在二范式的基础上,消除更多的冗余。
BC范式满足的条件
在关系模式R中,有α–>β函数依赖(两条件满足一个即可):
- α–>β是平凡的函数依赖(即 )
- α是R的super key
第三范式:
在BC范式的基础稍微放宽的条件,以保证数据表设计能够保持函数依赖
第三范式的条件:
在关系模式R中,有α–>β函数依赖(三个条件满足一个即可):
1.
是平凡的函数依赖
2. α是R的super key
3. (β - α)中的每个属性A
candidate key