数据库-数据依赖

《数据库-数据依赖》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、关系规范化理论ContentsContents关系数据库的逻辑设计问题函数依赖范式模式的分解函数依赖u函数依赖的概念u平凡函数依赖和非平凡函数依赖u完全函数依赖和部分函数依赖u传递函数依赖u码的概念函数依赖1、定义设R（U）是一个关系模式，U是R的属性集合，X、Y是U的子集。对于R（U）的任意一个可能的关系r，如果r中不存在两个元组，它们在X上的属性相同，而在Y上的属性不同，则称“X函数确定Y”或“Y函数依赖于X”。记作：XàY例：设有关系为学生(学号，姓名，年龄，所属院系)R(U)：学生(学号，姓名，年龄，所属院系)学号S0001姓名王

2、立年龄19所属院系计算机U={学号，姓名，年龄，所属院系}S0002黎明18计算机S0003张新18机电S0004王立20经济管理函数依赖子集：X={学号}Y={姓名}Z={所属院系}r1：若定义r1为学号和姓名之间的联系，则r1的元组有：X(学号)由于X列没有重复元素，而Y列有重复元Y(姓名)S0001王立素，所以有：S0002黎明S0003张新XYS0004王立r2：若定义r2为姓名和所属院系之间的联系，则r2的元组有：Y(姓名)王立Z(所属院系)计算机由于Y列有重复元素，而Z列也有重复元素黎明计算机所以：张新王立机电经济管理ＹＺ学号

3、姓名年龄所属院系函数依赖S0001S0002王立黎明1918计算机计算机S0003张新18机电S0004吴严20经济管理说明：u函数依赖是语义范畴的概念，它反映了一种语义完整性约束，只能根据语义来确定一个函数依赖。u函数依赖是指关系R模式的所有关系元组均应满足的约束条件，而不是关系模式中的某个或某些元组满足的约束条件。u如XàY，则X称为决定属性集。u若XàY，并且YàX，则记为XY。uY不函数依赖于X，记作XY。函数依赖2、平凡函数依赖与非平凡函数依赖定义：在关系模式R（U），U是R的属性集合，X，Y是U的子集，如果XàY，但Y不包含于

4、X，则称XàY是非平凡函数依赖，若Y包含于X，则称XàY是平凡函数依赖。例：在关系学生(学号，姓名，年龄，所属院系)中子集：X={学号}Y={姓名}{学号}{姓名}非平凡函数依赖集{姓名}⊆{学号}函数依赖3、完全函数依赖与部分函数依赖定义：在关系模式R（U），U是R的属性集合，X，Y是U的子集。如果XàY，并且对于X的任何一个真子集X1，都有X1Y，则称“Y完全函数依赖于X”，记作：XY。若XàY，但Y不完全函数依赖于X，则称Y部分函数依赖X，记作：XY。f(AB)Y完全函数依赖AYBY部分函数依赖p（AB）YAYBY函数依赖学号姓名课

5、程名称成绩S0001王立计算机导论64学号课程名称S0001S0001王立王立C语言高数7281S0002黎明计算机导论56S0002黎明英语62成绩姓名84S0003张新自动化理论S0003张新数学分析93S0004王立会计学68例：设关系为选修课程（学号，姓名，课程名称，成绩）p函数依赖有（学号，课程名称）姓名学号成绩f（学号，课程名称）成绩学号课程名称决定因子函数依赖学号姓名课程名称负责人S0001王立计算机李老师S0002黎明计算机李老师S0003张新机电吴老师S0004王立经济管理章老师X—>>Z例：学生（学号，姓名，所属院系，

6、负责人）函数依赖有：学号姓名学号—>>负责人所属院系负责人函数依赖5、码的形式定义u定义在关系模式R(U)中，K是U中的属性或属性组，如果KU,则称K为关系R(U)的一个候选码；若关系候选码多于一个，则选定其中一个作为主码。u包含在任意一个候选码中的属性称为主属性。u不包含在任意一个候选码中的属性称为非主属性。函数依赖例：对于关系模式选修课程（学号，姓名，课程号，成绩）学号课程名称姓名成绩候选码：（学号，课程名称）主属性：学号，课程名称非主属性：姓名，成绩1.在关系模式R（A，B，C，D）中，存在函数依赖关系{A→B，A→C，A→D，(B

7、,C)→A}，则候选码是_________。2.在关系模式R（A，B，C，D）中，存在函数依赖关系 {AB→C，C→D，D→A}，则候选码是_________？？？？候选码的求解如果有属性不在函数依赖集中出现，那么它包含在候选码中；如果有属性只在函数依赖集中任何函数依赖的右边出现，那么该 属性不包含在候选码中；如果有属性只在函数依赖集的左边出现，则该属性一定包含在候 选码中。如果有属性或属性组能唯一标识元组，则它就是候选码；候选码的求解L类:仅出现在函数依赖集的左边的属性；R:类仅出现在函数依赖的右边的属性；N:类不在函数依赖集中出现的属

8、性。LR:类在函数依赖两側均出现的属性。候选码的求解1)RLRNLRXLN把的所有属性分为、、和四类，并令代表、 类，代表类。YLR2)X+X+RXR求，如果包含了的全部属性，则为的唯一候选