第4章 数据依赖及关系模式规范化.pptVIP

4.1 关系模式设计中的问题 针对一个具体的应用问题，应该如何构造一个适合于它的关系数据库模式？ 应该构造几个关系模式？ 每个关系由哪些属性组成？ 本章的任务 研究设计一个“好”的（即没有“毛病”的）关系模式的方法 实例分析 实例分析 实例分析 实例分析 实例分析 结论： SCT不是一个”好”的关系模式 “好”的模式：数据冗余应尽可能少，不会发生插入异常、删除异常、更新异常 原因： 存在于模式中的某些不合适的”数据依赖” 解决方法： 通过分解关系模式来消除其中不合适的数据依赖 4.2 数据依赖 数据依赖(Data Dependency)是通过一个关系中各属性值相等与否体现出来的一种数据间的相互制约关系，是现实世界中事物属性间相互联系的抽象，是数据内在的性质，是语义的体现 已经提出了许多种类型的数据依赖，其中最重要的是函数依赖(Functional Dependency简记为FD)和多值依赖(Multivalued Dependency简记为MVD) 常用符号及其含义 关系的内涵和外延 关系的内涵和外延 关系的内涵是对数据的定义以及数据完整性约束的定义，一般是与时间独立的 对数据的定义包括对关系、属性、域的定义和说明。对数据完整性约束的定义涉及面较广，主要包括以下几个方面： 静态约束，涉及到数据之间联系（称为“数据依赖，data dependences）、主键和值域的设计 动态约束，定义各种操作（插入、删除、修改）对关系值的影响 函数依赖的定义 函数依赖的定义 例4-1： 函数依赖的定义 函数依赖是语义范畴的概念，它反映了一种语义完整性约束，只能根据语义来确定一个函数依赖是否成立 例如，“姓名”?“年龄”这个函数依赖只有在没有同名人的条件下成立，否则，此函数依赖不成立 函数依赖是指关系R模式的所有关系元组均应满足的约束条件,而不是关系模式中的某个或某些元组满足的约束条件 函数依赖的定义 函数依赖的定义 函数依赖的逻辑蕴涵 定义4.5：设F是在关系模式R上成立的函数依赖的集合，X→Y是一个函数依赖，如果对于R的每个满足F的关系r也满足X→Y，那么称F逻辑蕴涵X→Y，记为F ? X→Y 例如：{X→Y，Y→Z} ? X→Z 函数依赖集合的闭包 函数依赖集合的闭包 例4-2:已知关系模式R（ABC）， F=｛ A→B，B→C ｝，求F+ 解：据已知条件和推理规则，可知F+有43个FD： A?ф AB?ф AC?ф ABC?ф B?ф C?ф A?A AB?A AC?A ABC?A B?B C?C A?B AB?B AC?B ABC?B B?C ф?ф A?C AB?C AC?C ABC?C B?BC A?AB AB?AB AC?AB ABC?AB BC?ф A?AC AB?AC AC?AC ABC?AC BC?B A?BC AB?BC AC?BC ABC?BC BC?C A?ABC AB?ABC AC?ABC ABC?ABC BC?BC F+的计算是一个NP完全问题 函数依赖的推理规则 函数依赖的推理规则 FD的逻辑导出 定义4.7：给定关系模式RU,F，如果能由F根据Armstrong公理导出X→Y，则称X→Y是F的逻辑导出，记为F= X→Y 属性集合的闭包 属性集合的闭包 属性集的闭包(9/27) 算法4.1：求属性集X(X U)关于U上的函数依赖集F的闭包X+F 输入：X，F 输出： X+F 步骤： 令X(0)=X，i=0 求B，这里B={A|(存在V→W)(V→W∈F∧V∈X(i) ∧ A∈W)}； X(i+1)=X(i)∪B 判断X(i+1)=x(i)吗? 若相等或X(i)=U 则X(i)就是X+F,算法终止。 若否，则i=i+l，返回第 2) 步。 属性集的闭包 例4-3:已知关系模式RU,F, 其中:U={A,B,C,D,E}；F={AB→C，B→D，C→E，EC→B，AC→B} 求 (AB)+F 解：由算法，X(0)=AB；计算X(1)； 逐一的扫描F集合中各个函数依赖,找左部为A,B,或AB的函数依赖。得到两个：AB→C，B→D。于是X(1)=AB∪CD=ABCD。 因为 X(0)≠X(1)，所以再找出左部为ABCD子集的那些函数依赖，又得到C→E，AC→B，于是X(2)=X(1)∪BE=ABCDE。 因