辽工大专升本《数据库》第06章 关系数据理论.pptVIP

4NF 关系模式RU,F∈lNF, 如果对于R的每个非平凡多值依赖X→→Y(Y X)，X都含有码,则称 RU,F∈4NF。 因为对于每一个非平凡的多值依赖X→→Y，X都含有候选码，于是就有X→Y，所以4NF所允许的非平凡的多值依赖实际上是函数依赖。 4NF用来限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖。 [例]:如前仓库保管关系模式WSC，W→→S，W→→C都是非平凡的多值依赖。 WS(W,S) WC(W,C) 6.2.5 规范化小结 消除决定因素非码的非平凡函数依赖 消除非主属性对码的部分函数依赖 消除非主属性对码的传递函数依赖 消除主属性对码的部分和传递函数依赖 消除非平凡且非函数依赖的多值依赖 1NF 2NF 3NF 4NF BCNF 6.3 数据依赖的公理系统 对于满足一组函数依赖F的关系模式RU，F，其任何一个关系r，若函数依赖X→Y都成立(即r中任意两元组t,s，若t[X]=s[X]，则t[Y]=s[Y])，则称F逻辑蕴含X→Y。 [逻辑蕴含] 数据库原理 * 6.1 问题的提出 MA BASIC C6 S8 LIU C C2 S4 LIU C C2 S6 WEN PASCAL C4 S6 WEN PASCAL C4 S4 WEN PASCAL C4 S2 TNAME CNAME CNO SNO 数据冗余 更新异常 插入异常 删除异常 MA BASIC C6 S8 LIU C C2 S4 LIU C C2 S6 WEN PASCAL C4 S6 WEN PASCAL C4 S4 WEN PASCAL C4 S2 TNAME CNAME CNO SNO C6 S8 C2 S4 C2 S6 C4 S6 C4 S4 C4 S2 CNO SNO MA BASIC C6 LIU C C2 WEN PASCAL C4 TNAME CNAME CNO 6.2 规范化 设R(U)是属性集U上的关系模式。X,Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X， 记作X→Y。 6.2.1 函数依赖 [函数依赖] 例：如下关于学生选课、教师任课的关系模式： R(SNO,SNAME,CNO,GRADE,CNAME,TNAME,TAGE) SNO→SNAME 每个学号只对应一个学生姓名； 每个课程号只对应一门课程名； 每个学生每学一门课程只有一个成绩； 每门课程只有一名教师授课； 没有重名教师。 规定： CNO→CNAME (SNO,CNO)→GRADE CNO→(TNAME,TAGE) TNAME→TAGE SNO SNAME CNO CNAME GRADE TNAME TAGE 其函数依赖图如下： X→Y，但Y X，则称X→Y是非平凡的函数依赖。 X→Y，但Y X，则称X→Y是平凡的函数依赖。 若X→Y,则X叫做决定因素。 CNO→CNAME (SNO，CNO)→ SNO 规范化理论中的术语和记号： 在R(U)中,如果X→Y，并且对于X的任何一个真子集X,都有X Y,则称Y对X完全函数依赖,记作: → (SNO,CNO)→GRADE [完全函数依赖] F X → Y 若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作： (SNO,CNO)→CNAME [部分函数依赖] P X → Y CNAME→TNAME TNAME→TAGE CNAME→TAGE [传递函数依赖] 在R(U)中,如果X→Y,(Y X)，Y X, Y→Z,Z Y,则称Z对X传递函数依赖。记作 → 传递 X → Z [候选码] [主属性]：候选码中包含的属性。 [非主属性]：不包含于候选码中的属性。 [全码]：由所有属性构成的候选码。 设K为RU，F中的属性或属性组合，若 K U，则K为R的候选码。 若候选码多于一个，则选定其中的一个为主码。 → F 6.2.2 码 [例] :关系模式R(P,W,A),属性P表示演奏者,W表示作品,A表示听众。假设一个演奏者可以演奏多个作品,某一作品可被多个演奏者演奏。听众也可以欣赏不同演奏者的不同作品,这个关系模式的码为(P,W,A),即全码。 [外码] 关系模式R中属性或属性组X并非R的码，但X是另一个关系模式的码，则称X是R的外码。 6.2.3 范式 范式是用来衡量关系模式好坏的标准。 1NF 如果关系模