第六章关系数据库设计理论(2014).pptVIP

6.5.2 分解的函数依赖保持性和无损连接性 定义6.21 关系模式RU,F的一个分解 ρ={R1U1,F1，R2U2,F2，…，RnUn,Fn} 若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性。 具有无损连接性的分解保证不丢失信息； 无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题。 6.5.2 分解的函数依赖保持性和无损连接性 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖。同样，保持函数依赖的分解也不一定具有无损连接性。 规范化理论提供了一整套具体完整的模式分解算法，有兴趣的同学可以自己看一看。 本章小结 了解什么是一个不好的数据库模式，规范化理论的重要意义 ； 理解关系的形式化定义、数据依赖（包括函数依赖、多值依赖以及各种分类）、码、范式（1NF到4NF）等基本概念； 重点掌握范式的理解和应用，能够根据语义，完整写出关系模式的数据依赖集合，并分析该关系模式属于第几范式。 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * * 三、函数依赖闭包定义 定义2：由被F逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包，记作F+。 四、 Armstrong公理系统的有效性、完备性 1、有效性：由F出发可由Armstrong公理推导出来的每一个函数依赖一定在F+中； 2、完备性是指：F+中的每一个函数依赖，必定可由F根据Armstrong公理推导出来。 6.4 函数依赖的公理系统 逻辑蕴含 定义6.13 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立， 则称F逻辑蕴含X →Y ，或称X →Y 为F所蕴含。 即：对于r中任意两个元组t和s， 有：若 t[X]=s[X] 则 t[Y]=s[Y] 必成立。 6.4.1 Armstong公理系统 Armstrong公理系统－函数依赖的推理规则 关系模式R U，F 有以下推理规则： Al 自反律：若Y ? X ? U，则X →Y为F所蕴含。 A2 增广律：若X→Y为F所蕴含，且Z ? U，则XZ→YZ为F所蕴含。 A3 传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 注：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于F。 6.4.1 Armstong公理系统 伪传递规则：若X ? Y，WY ? Z，则XW ? Z 。 分解规则：若X ? Y及 Z?Y，则X ? Z 。 X ? Y 增广律 X ? XY X ? Z 增广律 XY ? YZ 传递律 X ? YZ 证明合并规则： 由Armstrong公理导出的推理规则: 合并规则：若X ? Y，X ? Z，则X ? YZ。 6.4.2 闭包 引理6.l 若A1A2…An是关系模式R的属性集, 则：X→A1 A2…Ak ? X→Ai成立(i=l,2,…,k)。 证明：充分性：由合并律 ? 必要性：由分解律 ? 根据合并规则和分解规则，可得： 6.4.2 闭包 定义6.14 在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。 定义6.15 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包。 引理6.2 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是Y ? XF+ 用途：将判定X→Y是否能由F根据Armstrong公理导出的问题，转化为求出XF+ ，判定Y是否为XF+的子集的问题。 6.4.2 闭包 算法6.l 求属性集X（X ? U）关于U上的函数依赖集F 的闭包XF+ 输入：X，F 输出：XF+ 步骤： （1）令X（0）=X，i=0 （2）求B：B = { A |(? V)( ? W)(V→W?F ∧V ? X（i）∧A? W)}； （3）X（i+1）=B∪X（i） （4）判断X（i+1）= X （i）吗? （5）若相等或X（i）=U , 则X（i）就是XF+ , 算法终止。 （6）若不