第六章 关系数据理论
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.没有任何属性完全函数依赖于非码的任何一组属性