一、范式判断与函数依赖
第一范式(1NF)
定义:关系模式R中所有属性都是原子域(atom)

约定符号:A属性,α、β属性集,R关系模式。F函数依赖集,F*函数依赖闭包集
1、函数依赖定义:如果存在模式(A,B),则A可以做主码,定义为:A→B
平凡函数依赖(trivial):存在α→β,它们在所有的关系中都是满足的(基于现实中的事实判断)。一般的:β包含于α,则依赖是平凡的(数学抽象判断)
平凡依赖举例:
R1(学生ID,学生性别,年龄) 学生ID→学生性别
R2(A,B,C,D,F) F{ AB→B} 此处α={A,B},β={B}

2、BCNF范式定义: 具函数依赖集F的关系模式R属于BCNF范式的条件是:对于所有F*中α→β所有函数依赖,以下至少有一个成立: ●α→β是平凡的函数依赖 ●α是模式R中的一个超码

3、要求更加宽松的范式,3NF定义:
具有函数依赖集F的关系模式R属于3NF范式的条件是:对于所有F*中所有α→β函数依赖,以下至少有一个成立:
●α→β是平凡的函数依赖
●α是模式R中的一个超码
●α-β中的每一个属性A都包含在R的一个候选码中

4、函数依赖理论
约定符号:F、α属性集闭包
函数依赖集闭包(F
&逻辑蕴涵定