范式

• 第一范式（1NF）

符合1NF的关系中的每个属性不可再分。以下就不符合

仅仅符合1NF的设计，会存在数据冗余，插入异常，删除异常，修改异常的问题

例如

• 每一个学生的学号、姓名、系名、系主任这些数据重复多次——数据冗余过大
• 假如学校新建了一个系，诞生暂时还有新生 ，那么系名和系主任将无法插入——插入异常
• 假如某个系中所有学生相关记录都删除，那么所有系与系主任也就随之消失了。——删除异常
• 假如小明转系到法律系，那么为了保证数据库的一致性，需要修改三条记录中系与系主任的数据——修改异常

• 第二范式

2NF在1NF的基础之上，消除了非主属性对于码的部分函数依赖。

• 函数依赖
  若在一张表中，在属性x的值确定的情况下，必定能确定属性Y的值，则可以说函数Y依赖于函数X，写作X→Y
  比如学号→姓名，而姓名有重复不能百分百确定学号是什么所以不能姓名→学号。
• 完全函数依赖
  对于X的任何一个真子集，X（真子集）→Y不成立，那么我们称Y对于X完全函数依赖。记作XF→Y
• 部门函数依赖
  假如Y函数依赖于X，但同时Y并不完全函数依赖于X，那么我们就称Y部分函数依赖于X，记作XP→Y
• 传递函数依赖
  假如Z函数依赖于Y，且Y函数依赖于X(Y不包含于X，且X不函数依赖于Y)，那么我们就称Z传递函数依赖于X,XT→Z.
• 码
  若属性或属性组K之外的所有属性都完全函数依赖于K，那么我们称K为候选码，简称码，在实际中可以理解为：假如当K确定的情况下，该表除K之外的所有属性的值也就随之确定，那么K就是码。
• 主属性和非主属性
  包含在任何一个码中的属性是主属性，其他的是非主属性。
• 判断2NF
  就是看表中是否存在非主属性对于码的部分函数依赖。
  判断方法是
  • 找出数据表的码
  • 根据第一步的码，找出主属性和非主属性
  • 看是否存在部门函数依赖
    在（学号、课名）→姓名中，因为课名→姓名是部门函数依赖，所以不符合。
• 要达到2NF就可能需要拆分表。拆到符合第二范式。

然而删除异常和插入异常仍没有改进

• 第三范式3NF

在前两个范式的基础之上，消除了非主属性对吗的传递函数依赖。
方法仍然是拆分拆分拆分到符合范式。

• BCNF范式

解决办法就是要在 3NF 的基础上消除主属性对于码的部分与传递函数依赖。