关系模式设计理论

规范化：

一个低级范式，通过模式分解可以转化为若干个高级范式的关系模式，即为规范化。

范式：

目前关系数据库有六种范式，咱们最常用的是第一到第三范式。各范式呈递次规范，越高的范式数据冗余越小。

第一范式：（不再分）

范式的基础，所有范式都必须满足第一范式，其他范式都以第一范式为基础。

第二范式：

第一范式基础上消除部分依赖，要求实体的属性完全依赖于主键。

若存在局部依赖，需将这个属性和候选键的那一部分分离出来形成新的实体。

例

（学号，姓名，系别，住址，课程，成绩)；

存在（学号，课程）——>（姓名，系别，住址，成绩）；

需分解为：

学号，课程）——>（成绩）

(学号）——>（姓名，系别，住址）

第三范式：

第二范式基础上消除传递依赖。

例

（学号）——>（姓名，系别，住址）

若存在同一系别住址相同，即地址依赖于系别，则该函数依赖不符合第三范式。

需分解为：

（学号）——>（姓名，系别）

（系别）——>（住址）

几个范式，递次下来，就会消除冗余，异常 ，及消除了关系模式设计的常见问题......