1第九章
9.1 关系模式设计的问题
1、数据冗余问题
会造成存储空间的浪费,更为严重的是造成了数据的不一致。
2、数据更新问题
3、数据插入问题
新成立了一个系,但还没有对外招生,则学号和课程号值均为空,但这两个是主键,主键不能为空
4、数据删除问
9.2.1 函数依赖
基本概念:X和Y在数量上的对应关系,即给定一个X值,都会有一个Y值与之对应。可以说,X函数决定Y,或Y函数依赖于X,表示为X->Y
例如:对学生关系模式student(sno,sname,sdept,sage)有以下函数依赖关系:
sno->sname,sno->sdept,sno->sage
对学生选课关系模式sc(sno.cno,grade)有以下函数依赖关系:
(sno,cno)->grade
9.2.2 术语和符号
设有关系模式R(A1,A2,A3,An),X和Y均为关系模式的子集,则:
(1)若X->Y,但Y不包含于X,则称X->Y是非平凡的函数依赖。
(2)若Y不函数依赖于X
(3)如果XY,则称X为决定因子
(4)如果XY,并且Y
X,则记作X
Y
(5)如果 XY,并且对于XX的一个任意一个真子集X'都有X不依赖于Y,则称Y完全函数依赖于X,如果X'
Y成立,则称Y部分函数依赖于X。
1、Armstrong公理
(1)自反律
(2)增广律
(3)传递律
2、Armstrong公理推论
(1)合并规则
(2)分解规则
(3)伪传递规则
(4)复合规则