第4章 关系据库规范化理论.pptVIP

第 4 章 关系数据库规范化理论 4.2 函数依赖 定义1： 设R〈U〉是属性集U上的关系模式，X、Y是U的子集。若对于R〈U〉的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而Y上的属性值不等，则称X函数确定Y函数，或Y函数依赖于X函数，记作X→Y。例如，对于学生关系模式：学生关系（学号，姓名，性别，籍贯） 单独研究学号，性别  函数依赖 定义2： 设X→Y是一个函数依赖，若Y是X的子集，则称X→Y是一个平凡函数依赖。 定义3： 在R〈U〉中，如果X→Y，并且对于X的任何一个真子集X‘，都有X‘ Y，则称Y对X完全函数依赖，记作：X→Y； 定义4：若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作： X→Y。例如，在教学关系模式：(学号，课程名)→成绩，(学号，课程名)→姓名。 函数依赖 定义5：在R〈U〉中，X、Y、Z均属于U，如果X→Y(Y不属于X,Y不确定X)，Y→Z，则称Z对X传递函数依赖。传递函数依赖记作：X → Z。例如：在教学模式中，因为：学号→系名，系名→系主任；所以：学号 → 系主任。 4.2.2 函数依赖与属性关系 假设关系X和关系Y存在： 一对一关系： X→Y， Y→X 一对多关系： X→Y 多对多关系： X和Y不存在函数依赖 4.2.3 Armstrong公理 1. 函数依赖的逻辑蕴含设F是模式R〈U〉的函数依赖集，X和Y是属性集U的子集。如果从F中的函数依赖能推出X→Y，则称F逻辑蕴含X→Y，或称X→Y是F的逻辑蕴含。 2. Armstrong公理系统(1) Armstrong公理系统设U为属性集，F是U上的函数依赖集，于是有关系模式R〈U，F〉。对R〈U，F〉来说，有以下的推理规则： 4.2.3 Armstrong公理 1) 自反律：若Y?X，则X→Y。2) 增广律：若X→Y为，则XZ→YZ。3) 传递律：若X→Y及Y→Z，则X→Z。(2) Armstrong公理的三个推理 1) 自合规则：X →X 2) 分解规则：由X→YZ，则X→Z，X→Y 3) 合并规则：由X→Y，X→Z，则X→YZ。 4) 复合规则：由X→Y，M→N，则XM→YN。 4.2.4 闭包及其计算 (1) 函数依赖集闭包F+和属性集闭包XF+的定义定义：在关系模式R〈U，F〉中，为F所逻辑蕴含的函数依赖的全体叫做F的闭包，记作F+。定义：设有关系模式R〈U，F〉，X是U的子集，称所有从F推出的函数依赖集X→Ai中Ai的属性集为X的属性闭包，记作XF+。即： XF+={ Ai | Ai∈U，X→Ai∈F+}(2) 属性集闭包XF+的求法1) 选X作为闭包XF+的初值XF(0)。2) XF(i+1)是由XF(i)并上集合A所组成，其中A为F中存在的函数依赖Y→Z，而A?Z，Y?XF(i)。3) 重复步骤2)。一旦发现XF(i)= XF(i+1)，则XF(i)为所求XF+。 例子 【例7-1】已知关系R〈U，F〉，其中U={A，B，C，D，E}，F={AB→C，B→D，C→E，EC→B，AC→B}，求(AB)F+。设X=AB∵ XF(0)=AB  XF(1)=ABCD  XF(2)=ABCDE  XF(3)= XF(2)=ABCDE ∴ (AB)F+=ABCDE 　E-R模型的方法讨论了实体与实体之间的数据联系，而关系规范化理论主要讨论实体内部属性与属性之间的数据的联系，其目标是要设计一个“好”的关系数据库模型。　 关系：学生(学号,姓名,性别,课程号,课程名称,成绩) “学生”关系存在以下问题: (1) 数据冗余 所谓数据冗余就是数据的重复出现。当一个学生选修多门课程时，学生信息重复出现，导致了数据冗余的现象。数据冗余会导致数据库存储性能的下降，同时还会带来数据的不一致性问题。 (2) 不一致性 由于存在着数据冗余，因此，如果某个数据需要修改，则可能会因为其多处存在而导致在修改时不能全部修改过来，产生数据的不一致。 (3) 插入异常 如果新生刚刚入校，还没有选修课程，则学生信息就无法插入到表中，因为课程号为空，而主码为（学号，课程号），根据关系模型的实体完整性规则，主码不能为空或部分为空，因此无法插入新生数据，这就是插入异常。又如，学校计划下学期开一门新课“计算机组成原理”，该课程信息也不能马上添加到表中，因为还没有学生选修该课程，无法知道学生的信息。简单来说，插入异常就是该插入的数据不能正常插入。 (4) 删除异常 当学生毕业时，需要删除相关的学生记录，于是就会删除对应的课程号、课程名信息。这就是删除异常。