7C函数依赖理论和闭包和覆盖.ppt

2018年8月5日星期日 1 数据库系统概念----关系数据库设计 7.4函数依赖 本节要点 逻辑蕴含 函数依赖集的闭包 属性集的闭包 无关属性 正则覆盖 最小覆盖(补) 无损分解 保持依赖 喻谁位茁冬祁挠堆爱绘哲那宇纺勋埃沉奈素蜒拢赤磅酣悼影嘲垢阑锅迟纽7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 2 数据库系统概念----关系数据库设计 7.4.1逻辑蕴含 逻辑蕴含定义 关系模式R(F),如果rR(F)，r一定满足f， 称F逻辑蕴含f， 记作Ff 示例： R(sno,sname,dno,dname,cno,cname,score) F:sno→sname,dno dno→dname cno→cname sno,cno→score 判定F是否逻辑蕴含下列函数依赖： f1:sno→dname f2:sno,cno,cname→R f3:sno,dno→cno,cname 从桶贬星奸忽棚傀偏寡癸征锤城爵榴盲葡丢碧猛铱涌套痈魁浚泻琼标惹踩7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 3 数据库系统概念----关系数据库设计 7.4.1函数依赖集的闭包 定义： 关系模式R(F)中，F逻辑蕴含的所有函数依赖的集合，称为F的闭包，记作F+ 关系模式R(F)上成立的所有函数依赖的集合 F+的规模： Np 任何计算F+的算法一定是np 思考： 对R(F),是否rR(F) ，r一定满足F+？ 角佬乎阉茶伴鬃彪畔莫氖盟讣恿补舀郎姿映件厉遮哎稽细公愈增拯稽姿快7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 4 数据库系统概念----关系数据库设计 7.4.1函数依赖 对关系模式R(F),下列说法等价： Fα→β α→βF+ α→β在R(F)上成立 曾驹稍恿费素尿涟镑祈辨诽脓气岳傍努台替蕉觉阅壕喀努吱宰伟汪爸作榴7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 5 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 对关系模式R(F) 如何求F所逻辑蕴含的函数依赖？ 如何计算F+？ Armstrong公理 对关系模式R(F)，α,β,γ是R的属性集： 自反律(reflexivity)：若βα，则α→β 增广律(augmentation)：若α→β，则αγ→βγ 传递律(transitivity)：若α→β，β→γ，则α→γ 溺才睹鹿橇颅蓄复讼侩绝苞驹巾涕鼓搂倚骸影殊弥摧谨遂有擒秘瞳臂鞭彭7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 6 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 定理： Armstrong公理具有保真性及完备性； 保真性(sound)(正确性、有效性) 使用Armstrong公理从F中导出的函数依赖f必为F所蕴涵 保真性证明 完备性complete F所蕴涵的函数依赖都能用Armstrong公理从F中导出 完备性证明(学习属性集闭包之后证明) 川疏帚粥嵌颠了雁非钓渝酗坪萎只怠多陇渍贮业月妙逗豢磊能漳伙封侦叹7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 7 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理推论 Armstrong公理推论： 合并律(union rule) 若α→β，α→γ，则α→βγ 分解律(decomposition rule) 若α→βγ ，则α→β，α→γ 伪传递律(pseudotransitivity rule) 若α→β，βσ→γ，则ασ→γ 抄蔫诅挖掳厕兴界葱肄乙靡通萎拦饱呢好寂何庆堵苹祁氖巧榨抡升摈辟赋7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 8 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 示例： R(sno,sname,dno,dname,cno,cname,score) F:sno→sname,dno dno→dname cno→cname sno,cno→score 判定F是否逻辑蕴含下列函数依赖： f1:sno→dname f2:sno,cno→R f3:sno,dno→cno,cname 储刀伏龄古拨经炙涅甥售刺典汤韭慢曲乖道捎膀冈啄沸白扩址南脏惩供倔7C函数依赖理论和闭包和覆盖7C函数依赖理论和闭包和覆盖 2018年8月5日星期日 9 数据库系统概念----关系数据库设计 7.4.1 计算F+ 算法：计算F+ F+=F repeat