第六章 关系数据理论
6.2 规范化
规范化理论：解决插入异常，删除异常，更新异常，数据冗余的问题
函数依赖
理解 ：在我们的二维表中 我有两个属性组 X Y 属性组
属性组X上 如果有两行 X的属性值相同 Y一定相同
X 具有唯一性
定义：两者不可能存在两个元组在X上的属性值相等，而Y上的属性值不等
非平凡函数依赖：X 为学号课程号 Y 为成绩 X->Y 但是反之不行
平凡函数依赖： X 为学号 课程号 Y为学号 X->Y Y->X
主属性：包含在任何一个候选码中的属性
非主属性：不包含在任何候选码中的属性
BCNF 扩充的第三范式
定义:关系模式 R<U,F>中，若每一个决定因素都包含码，则R<U,F>符合BCNF
一个满足BCNF的关系模式条件：
1: 所有非主属性对每一个码都是完全函数依赖
2.所有主属性对每一个不包含它的码也是完全函数依赖
3.没有任何属性完全函数依赖于非码的任何一组属性