数据库四大范式判断

1NF,2NF,3NF,BCNF范式判断方法

判断方法如下图所示，关键是找出候选键和非键属性（下面会详细介绍）。

部分依赖：

AB->C  B->C;即C部分依赖AB

传递依赖：C传递依赖于A

一、求出候选键和非键

候选键定义：若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选键。候选键的闭包为U。
求出候选键步骤：
（1）找出只在左边出现的项（如果没有跳到步骤2）并判断是否能导出所有项。如果可以则这个项为候选键不进行步骤（2）。
（2）找出在左右两边都出现的项与（1）找出的项组合并判断是否能导出所有项，能导出所有项的成为候选键。
非键属性：不包含在候选键中的属性为非主属性。
注意：候选键不唯一

**例子**：F={B->D,D->B,AB->C} 
步骤1：找出A，A无法导出所有项所以进行步骤2
步骤2：找出B，D与A组合成AB,AD。因AB,AD能导出所有项，即AB,AD为候选键。
C为非键属性

**例子**：F={A->B,B->C}
步骤1：找出A，A能导出所有项即A为候选键。

二、例题

1.F={B->D,D->B,AB->C}

1°：候选键为AB和AD，非键为C；
2°：C完全依赖于AB符合2NF;
3°：C不具备传递依赖候选键符合3NF；
4°：依赖项的左边不全是候选键，即最高范式为3NF;

2.F={A->B,B->A,A->C}

1°：候选键为A和B，非键为C；
2°：C完全依赖于A符合2NF;
3°：C不具备传递依赖候选键符合3NF；
4°：依赖项的左边全是候选键，即最高范式为BCNF;