6.1 问题的提出
关系模式是一个5元组
R U,D,DOM,F
U 属性
D 域
DOM 属性到域的映射
F 依赖
在本章中将关系模式看作 三元组 R U,D 属性-依赖
1NF 每一个分量是不可分割的数据项
定义：
数据依赖是 一个关系内部属性与属性的一种约束关系
这种关系是通过属性间的相等与否体现出来的数据间相关联系
数据依赖的类型： 函数依赖 functional dependency fd
多值依赖 multi-Valued dependency mvd
最原始的数据模式 会出现以下问题：
数据冗余
更新异常( 某系更换主任后，要修改所有学生的信息)
插入异常(某系刚成立，还没有学生 ，无法插入)
删除异常(学生全部毕业，系主任也没有了)
6.2 规范化
6.2.1 函数依赖
X->Y X确定Y
X->Y 但是Y不在X里面 叫做 非平凡的函数依赖
X-> Y 但是Y在X里面 叫做平凡的函数依赖（一般不予考虑）
x->Y X 称为 决定因素 determinant
定义:
x->Y 但是没有任何一个X的子集有 X'->Y Y 对 X 完全函数依赖 X-f->Y
如果存在相应的子集 那么 Y对X 部分函数依赖 X-p->Y
依赖存在传递性
Y 依赖X X不依赖Y
Z 依赖 Y
Z传递依赖X
6.2.2 码
码是关系模式中一个重要的概念
K-f->U K为R的候选码
如果K-p->U 那么K是超码 Surpkey
候选码是最小的超码
候选码多于一个 选定一个为主码
整个属性组是码 称为全码all-key
6.2.3 范式
schema decompositon 分解为高一级的范式
过程称为规范化 normalization
6.2.4 2nf
每一个非主属性完全依赖于一个候选码 （满足2nf)
问题的关键在于 所有非主属性必须对码 完全函数依赖
6.2.5 3nf
不存在传递依赖的关系模式
6.2.6 bcnf
每一个决定因素都包括码
一个 学生 教师 课程 S-T-J 满足 3nf 没有传递依赖 但是 T 作为决定因素 T决定J 却不是码 码是 S-T 或者S-J
一个课程对应多个老师多个学生
6.2.7 多值依赖
R(U)
XYZ 是U的子集
如果 Z= U -X-Y
并且 给定的x,z 有一个Y 并且与z的值无关 那么记为 X->->Y 多值依赖
如果z 为空 称为平凡的多值依赖
1 多值依赖是 对称的 X->->Y 那就就有 X->->Z
2 多值依赖具有传递性 X->->Y Y->->Z X->->Y-Z
3 函数依赖可以看作多值依赖的特殊情况
6.2.8 4nf
对于R中的每个非平凡多值依赖，如果X->->Y 那么X中包含码
不允许有非平凡的多值依赖
只允许平凡的多值依赖
6.2.9 规范化小结
消除非主属性对码的部分函数依赖
消除非主属性对码的传递函数依赖
消除主属性对码的 部分和传递依赖
消除非平凡（且非函数依赖）的多值依赖
6.3 数据依赖的公里系统
Armstrong
自反率
增广率
传递率
合并规则
伪传递规则
分解规则
引理6.1 X->A1A2A3... 的充分必要条件是X->Ai 成立
F所逻辑蕴含的函数依赖的全体称为 F的闭包 closure
证明暂略
6.4 模式的分解
分解具有 无损连结性
分解要保持函数依赖
算法 6.2 判断是否无损连接