范式的确定及求解

规范化的定义

一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程叫做规范化

一级范式——1NF

1.满足条件：表中不套表
2.关系数据库中的表必须满足的条件
3.满足条件并不一定是一个好的关系模式，还可能存在插入异常、删除异常、数据冗余度大、修改复杂等问题

二级范式——2NF

1.满足条件：在1NF的基础上，每一个非主属性完全函数依赖于码。也即除了主码以外的所有的属性必须依赖于所有的主属性，比如一个表中有学号、课程号、成绩，学号课程号为主码，成绩必须由学号和课程号一起决定
2.目的：消除非主属性对主码的部分依赖
3.方法：将一个模式分解为多个模式呢，直至每个模式里都不存在非主属性对主码的部分依赖

三级范式——3NF

1.满足条件：不存在非主属性对码的传递依赖。也就是说一个表里的非主属性只能被自己表中的主码确定，不能被其他的属性确定
2.定义：
3.目的：消除非主属性对码的传递函数依赖
4.方法：通过模式分解，消除传递函数依赖