第06章-关系数据库理论.pptVIP

6.4.2分解的无损连接性和保持函数依赖性 模式分解的无损连接性 关系模式RU,F的一个分解 ρ={ R1U1,F1，R2U2,F2， …，RnUn,Fn} 若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性（Lossless join） 具有无损连接性的分解保证不丢失信息 无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题 无损连接性的验证算法 算法6.2：无损连接性的验证算法 当分解为两个关系模式时的判定准则： 定理6.5 对于RU，F的一个分解 ρ={ R1U1,F1，R2U2,F2} 如果U1∩U2是R1或R2的码，则分解是无损分解。 保持函数依赖的模式分解 保持函数依赖的模式分解 设关系模式RU，F被分解为若干个关系模式 ρ = { R1U1,F1，R2U2,F2，…，RnUn,Fn } 若F所逻辑蕴含的函数依赖一定也由分解得到的某个关系模式中的函数依赖Fi所逻辑蕴含，则称关系模式R的这个分解是保持函数依赖的（Preserve dependency） 模式的分解（续） 说明： 如果一个分解具有无损连接性，则它能够保证不丢失信息 如果一个分解保持了函数依赖，则它可以减轻或解决各种异常情况 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖；同样，保持函数依赖的分解也不一定具有无损连接性。 模式的分解（续） 无损分解或保持函数依赖不能在任何范式上随意实现 若要求无损连接性，可分解到4NF 若要求保持函数依赖，可分解到3NF，但不一定能达到BCNF。 若要求保持函数依赖，又具有无损连接性，可分解到3NF，但不一定能达到BCNF。 6.4.3 模式分解的算法 常用的分解算法 算法6.2 判别一个分解的无损连接性 算法6.3（合成法）转换为3NF的保持函数依赖的分解。 算法6.4 转换为3NF既有无损连接性又保持函数依赖的分解 算法6.5 （分解法）转换为BCNF的无损连接分解 算法6.6 达到4NF的具有无损连接性的分解 6.5 小结 关系模式的规范化，其基本思想： 作业 作业：1、2(不需要给出最小函数依赖集) 要求：1、掌握函数依赖和范式的概念 2、能分析关系属于第几范式，并能将范式分解到3NF 补充作业： 设有关系模式： 选修（姓名，专业，课程，任课教师，成绩） 假设：每个学生在一个专业学习；每门课程有一个任课教师；每个学生选修的每门课程只有一个成绩；姓名、课程无重名。 1．请写出选修关系中存在的基本函数依赖集和关系候选码 2．分析关系模式属于第几范式？为什么？ 3．如果经常对该模式的关系进行增、删、改操作，会存在什么问题 4. 请将选修关系模式分解为第3NF模式集 * * 1、用函数依赖表示数据库的语义 2、函数依赖通过属性值之间的约束实现 * 用关系示例说明 * 解释K→U，及其分解 * 1、描述基本函数依赖 2、推导出码 * (S，J)→T由语义确定 Armstrong公理系统 关系模式R U，F 来说有以下的推理规则： A1.自反律（Reflexivity）： 若Y ? X ? U，则X →Y。 A2.增广律（Augmentation）： 若X→Y为F所蕴含，且Z ? U，则XZ→YZ。 A3.传递律（Transitivity）： 若X→Y及Y→Z为F所蕴含，则X→Z。 定理 6.1 Armstrong推理规则是正确的 （l）自反律: 若Y ? X ? U，则X →Y为F所蕴含 证: 设Y ? X ? U 对R U，F 的任一关系r中的任意两个元组t，s： 若t[X]=s[X]， 由于Y ? X，有t[Y]=s[Y]， 所以X→Y成立，自反律得证 定理 6.l Armstrong推理规则是正确的（续） (2)增广律: 若X→Y为F所蕴含，且Z ? U，则XZ→YZ 。 证：设X→Y为F所蕴含，且Z ? U。 设RU，F 的任一关系r中任意的两个元组t，s： 若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]； 由X→Y，于是有t[Y]=s[Y]，所以t[YZ]=s[YZ]， 所以XZ→YZ为F所蕴含，增广律得证。 定理 6.l Armstrong推理规则是正确的（续） (3) 传递律：若X→Y及Y→Z为F所蕴含，则X→Z。 证：设X→Y及Y→Z为F所蕴含。 对RU，F 的任一关系 r中的任意两个元组 t，s： 若t[X]=s