规范化 范式

1、第一范式：每一个属性不可再分

比如部门(部门号，部门名，部门经理，部门员工)，里面的部门员工可以有很多员工，可以再分，所以不属于第一范式。

2、第二范式：在第一范式的基础上，没有属性对码有部分函数依赖
比如(Sno, Cno)作为码，但是Sno可以确定Sdept，产生了部分函数依赖，所以不属于第二范式。

3、第三范式：在第一范式的基础上，没有部分函数依赖和传递函数依赖

比如码是a，a->b, b-> c, b不包含于a，a->c, 属性c对码a产生了传递函数依赖，因此不是第三范式

4、BCNF：在第一范式的基础上，每一个决定因素都包含码

比如a->b，a称为决定因素，若a不包含码，则不是BCNF。

如果R是第三范式，且R只有一个候选码，则
R是第三范式等价于R是BC范式