《数据库系统概论》关系数据理论 ppt课件.ppt

文档介绍：数据库系统概论
An Introduction to Database System
第六章 关系数据理论
中国人民大学信息学院
基于某个数据库管理系统设计数据库，如何基于数据库系统编程
第6章 关系数据理论
第7章 数据库设计中不合适的数据依赖
*
问题的提出（续）
把这个单一的模式分成三个关系模式：
S(Sno,Sdept,Sno → Sdept);
SC(Sno,Cno,Grade,(Sno,Cno) → Grade);
DEPT(Sdept,Mname,Sdept → Mname);
这三个模式都不会发生插入异常、删除异常的问题，数据的冗余也得到了控制。
第六章 关系数据理论
问题的提出
规范化
数据依赖的公理系统
* 模式的分解
小结
规范化
函数依赖
码
范式
2NF
3NF
BCNF
多值依赖
4NF
规范化小结
函数依赖




*
1. 函数依赖
设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。
函数依赖（续）
[例] Student(Sno, Sname, Ssex, Sage, Sdept),
假设不允许重名，则有:
Sno → Ssex， Sno → Sage
Sno → Sdept， Sno ←→ Sname
Sname → Ssex， Sname → Sage
Sname → Sdept
但Ssex →Sage, Ssex→ Sdept
若X→Y，并且Y→X, 则记为X←→Y。
若Y不函数依赖于X, 则记为X→Y。
函数依赖（续）
违背了Sno → Sname
函数依赖（续）
由下面的关系表, 能否得出Sno → Sname
函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。
*
函数依赖（续）
函数依赖是语义范畴的概念，只能根据数据的语义来确定一个函数依赖。
例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立
*
2. 平凡函数依赖与非平凡函数依赖
X→Y，但Y⊈X则称X→Y是非平凡的函数依赖。
X→Y，但Y⊆X 则称X→Y是平凡的函数依赖。
对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义。
若不特别声明， 我们总是讨论非平凡函数依赖。
*
平凡函数依赖与非平凡函数依赖（续）
若X→Y，则X称为这个函数依赖的决定因素（Determinant）。
若X→Y，Y→X，则记作X←→Y。
若Y不函数依赖于X，则记作X↛Y。
*
3. 完全函数依赖与部分函数依赖
在R(U)中，如果X→Y，并且对于X的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y对X完全函数依赖，记作X → Y。
若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作X → Y
F
P
*
完全函数依赖与部分函数依赖（续）
[例] 在关系SC(Sno, Cno, Grade)中，有：
由于：Sno ↛Grade，Cno ↛ Grade，
因此：(Sno, Cno) → Grade
(Sno, Cno)→Sno
(Sno, Cno) →Cno
F
P
P
*
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)中，有：