数据库笔记4

第六章 关系数据理论
一．规范化
规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。
1. 函数依赖
设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。
注：函数依赖与属性间的联系类型有关
(1) 一对一联系：X←→Y
(2) 多对一联系：X→Y
(3) 多对多联系：不存在依赖关系
(4) 可从属性间的联系类型来分析属性间的函数依赖
2. 平凡函数依赖与非平凡函数依赖
X→Y，但Y⊈X则称X→Y是非平凡的函数依赖。
X→Y，但Y⊆X 则称X→Y是平凡的函数依赖。
例：在关系SC(Sno, Cno, Grade)中，
非平凡函数依赖： (Sno, Cno) → Grade
平凡函数依赖：   (Sno, Cno) → Sno
(Sno, Cno) → Cno
3.完全函数依赖与部分函数依赖
在R(U)中，如果X→Y，并且对于X的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y对X完全函数依赖，记作X → Y。
若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作X → Y
4. 传递函数依赖
在R(U)中，如果X→Y(Y⊈X)，Y↛X，Y→Z，Z⊈Y, 则称Z对X传递函数依赖(transitive functional dependency)。记为：X → Z。
注: 如果Y→X, 即X←→Y，则Z直接依赖于X，而不是传递函数依赖。
[例] 在关系Std(Sno, Sdept, Mname)中，有：
Sno → Sdept，Sdept → Mname，
Mname传递函数依赖于Sno
5. 码
设K为R<U,F>中的属性或属性组合。若K → U，则K称为R的一个候选码。
如果U部分函数依赖于K，即K → U,则K称为超码。候选码是最小的超码，即K的任意一个真子集都不是候选码。
若关系模式R有多个候选码，则选定其中的一个做为主码。
6. 范式
范式是符合某一种级别的关系模式的集合。
关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。
范式的种类：
第一范式(1NF)
第二范式(2NF)
第三范式(3NF)
BC范式(BCNF)
第四范式(4NF)
第五范式(5NF)
7. 各种范式之间存在联系：
 
某一关系模式R为第n范式，可简记为R∈nNF。
8. 若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于任何一个候选码，则R∈2NF
[例6.4]  S-L-C(Sno,Sdept,Sloc,Cno,Grade)， Sloc为学生的住处，并且每个系的学生住在同一个地方。S-L-C的码为(Sno,Cno)。
函数依赖有
(Sno,Cno)→Grade
Sno→Sdept, (Sno,Cno)→Sdept
Sno→Sloc, (Sno,Cno)→Sloc
Sdept→Sloc
9. 设关系模式R<U,F>∈1NF,若R中不存在这样的码X、属性组Y及非主属性Z（Z ⊇ Y）, 使得X→Y，Y→Z成立，Y ↛ X不成立，则称R<U,F> ∈ 3NF。
SC没有传递依赖，因此SC ∈ 3NF。
10. 设关系模式R<U,F>∈1NF，若X →Y且Y ⊆ X时X必含有码，则R<U,F>∈BCNF。
换言之，在关系模式R<U,F>中，如果每一个决定属性集都包含候选码，则R∈BCNF。
11. 关系模式R<U,F>∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ⊈ X），X都含有码，则R<U,F>∈4NF。
不允许有非平凡且非函数依赖的多值依赖。
允许的非平凡多值依赖实际上是函数依赖。