数据库系统概论课件：ch6关系数据理论.ppt

文档介绍：第6章 关系数据理论
关系模式及其评价
函数依赖及其公理体系
模式的分解
关系模式的规范化
1
再论关系模式
关系模式的评价
关系模式及其评价
2e,DeptName)的信息只与学生实体相关
（2）关系Reports(Sno, Cname,Grade)的信息只与学生选修课程相关
（3）关系Departments(DeptName, DeptLoc) 的信息只与系实体相关
12
l上述三个关系模式对应的实例：
Sno
Sname
DeptName
20010101
张华
Computer
…
…
20010102
王艳艳
Computer
20010601
刘树林
Math
…
…
Sno
Cname
Grade
20010101
英语
86
20010101
高等数学
90
20010101
数据库
92
…
…
20010101
操作系统
88
20010102
英语
92
…
…
20010102
高等数学
86
…
…
20010601
英语
88
20010601
高等代数
84
…
…
20010601
数学分析
90
DeptName
DeptLoc
Computer
文约楼
…
Math
文华楼
…
关系Depatments
关系Students
关系Reports
13
l分解之后的关系模式：消除了插入异常和删除异常；
降低了数据冗余
14
函数依赖的定义
码及其属性
函数依赖的公理体系
闭包和最小函数依赖集
函数依赖及其公理体系
15
1．函数依赖（Functional Dependencies，FD ） ：
设R(U)是属性集U={A1, A2, …, An}上的
关系模式，X和Y是U的子集。若对R(U)的任一具体关系r
中的任意两个元组t1和t2，只要t1[X]=t2[X]就有
t1[Y]=t2[Y]，则称“X函数确定Y”或“Y函数依赖于X”，
记作X→Y。
函数依赖的定义
16
l几个常用的术语和记号：
（1）若X→Y，则称X为这个函数依赖的决定因素，
简称X是决定因素（Determinant）。
（2）若X→Y且Y→X，则记作X←→Y
（3）若Y不函数依赖于X，则记作X→Y
(4) 若X→Y，但Y X，则称X→Y是非平凡的函数依赖。
若X→Y，但Y X，则称X→Y是平凡的函数依赖。
17
例1 ： 关系模式ScInfo(Sno, Sname, DeptName,
DeptLoc,Cname, Grade)
属性集U上的函数依赖组成的集合F（简称函数依赖集）：
F={Sno→Sname，Sno→DeptName，
DeptName→DeptLoc，
（Sno, Cname）→Grade}
示例：函数依赖的分析
18
例3 ： 设R(U, F), X、Y是U的子集，
如果X:Y=1:1,那么存在X→Y且Y→X，即X←→Y
如果X:Y=n:1，那么存在X→Y
如果X:Y=n:m，那么X和Y之间不存在函数依赖关系
例2: 设R(U, F), U=ABCD,
F={AB→B, AB →C, B →D}
19
2．完全函数依赖(Full Functional Dependencies )和部分函数依赖Partial Functional Dependency ：
设R(U)是属性集U={A1, A2, …, An}上的
关系模式，X和Y是U的子集，
⑴ 如果X→Y，且对于X的任何一个真子集X ，都有XY， 则称Y对X完全函数依赖或者X完全决定Y，记作:X→Y。
⑵ 如果X→Y，但Y不是完全函数依赖于X，则称Y对X
部分函数依赖， 记作： X→Y。
p
f
20
例4 ： 对于关系模式：
ScInfo(Sno, Sname, DeptName, Dept