第7章 关系数据库规范化理论_11512.ppt

第7章关系数据库规范化理论
函数依赖
关系规范化
关系模式的分解准则
1
第7章关系数据库规范化理论
数据库设计是数据库应用领域中的主要研究课题。
关系数据库规范化理论就是数据库设计的一个理论指南。
规范化理论研究的是关系模式中各属性之间的数据依赖关系及其对关系模式性能的影响;以及判断关系模式好坏的理论标准—范式。
如何构造一个合适的关系模式,应构造几个关系模式,每个关系模式由哪些属性组成等,都是数据库设计问题,确切地讲是关系数据库的逻辑设计问题。
2
第7章关系数据库规范化理论
关系模式的形式化定义
一个完整的关系模式由五部分组成,即它是一个五元组:
R(U, D, DOM, F)
R:关系名
U:组成该关系的属性名集合
D:属性组U中属性所来自的域
DOM:属性向域的映象集合
F:属性间数据的依赖关系集合
3
第7章关系数据库规范化理论
什么是数据依赖
一个关系内部属性与属性之间的约束关系
数据依赖的类型
函数依赖(Functional Dependency,简记为FD)
多值依赖(Multivalued Dependency,简记为MVD)
其他
4
第7章关系数据库规范化理论
关系模式的简化表示
关系模式五元组R(U, D, DOM, F)
可简化为一个三元组:
R(U, F)
当且仅当属性组U上的一个关系r满足函数依赖关系F时,r称为关系模式 R(U, F)的一个关系。
5
函数依赖
省=f(城市)
只要给出一个具体的城市值
就会有唯一一个省值和它对应
如“武汉市”在“湖北省”,这里“城市”是自变量X,“省”是因变量或函数值Y。
把X函数决定Y,或Y函数依赖于X表示为:
X→Y
6
函数依赖(续)
设有关系模式R(A1,A2,…,An)
X和Y均为{A1,A2,…,An}的子集
r是R的任一具体关系
t1、t2是r中的任意两个元组
如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y函数依赖于X,记为X→Y。
7
函数依赖(续)
例:Student(Sno, SName, Sdept, Sage)
Sno→SName
Sno→Sdept
Sno→Sage
例:SC(Sno, Cno, Grade)
(Sno, Cno)→Grade
8
一些术语和符号
平凡函数依赖与非平凡函数依赖
在关系模式R(U)中,对于U的子集X和Y,
如果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
如不作特别说明,总是讨论非平凡函数依赖。
9
一些术语和符号
若X→Y,则X称为这个函数依赖的决定属性组,也称为决定因素(Determinant)。
若X→Y,Y→X,则记作X←→Y。
若Y不函数依赖于X,则记作X→Y。
10