数据库范式 一范式 二范式 三范式 BC范式

一范式:关系模式R所有的属性都是不可分割的,不能为组合属性、多值属性。

一范式是数据库设计里的必要条件。

二范式
非主码的属性集依赖于主码属性集,不依赖于主码属性集的子集
BCNF(Boyce-bodd Normal form–BC范式)

在二范式的基础上，消除更多的冗余。

• BC范式满足的条件

  在关系模式R中,有α–>β函数依赖(两条件满足一个即可):

  1. α–>β是平凡的函数依赖(即$α \in β$)
  2. α是R的super key

第三范式:

在BC范式的基础稍微放宽的条件,以保证数据表设计能够保持函数依赖

第三范式的条件:

在关系模式R中,有α–>β函数依赖(三个条件满足一个即可):
1. $α\to β$ 是平凡的函数依赖
2. α是R的super key
3. (β - α)中的每个属性A $\in$ candidate key