7C函数依赖理论及闭包与覆盖.pptVIP

数据库系统概念----关系数据库设计 数据库系统概念----关系数据库设计 * * 数据库系统概念----关系数据库设计 7.4函数依赖 本节要点 逻辑蕴含 函数依赖集的闭包 属性集的闭包 无关属性 正则覆盖 最小覆盖(补) 无损分解 保持依赖 * * 数据库系统概念----关系数据库设计 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 * * 数据库系统概念----关系数据库设计 7.4.1函数依赖集的闭包 定义： 关系模式R(F)中，F逻辑蕴含的所有函数依赖的集合，称为F的闭包，记作F+ 关系模式R(F)上成立的所有函数依赖的集合 F+的规模： Np 任何计算F+的算法一定是np 思考： 对R(F),是否?r?R(F) ，r一定满足F+？ * * 数据库系统概念----关系数据库设计 7.4.1函数依赖 对关系模式R(F),下列说法等价： F?α→β α→β?F+ α→β在R(F)上成立 * * 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 对关系模式R(F) 如何求F所逻辑蕴含的函数依赖？ 如何计算F+？ Armstrong公理 对关系模式R(F)，α,β,γ是R的属性集： 自反律(reflexivity)：若β?α，则α→β 增广律(augmentation)：若α→β，则αγ→βγ 传递律(transitivity)：若α→β，β→γ，则α→γ * * 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 定理： Armstrong公理具有保真性及完备性； 保真性(sound)(正确性、有效性) 使用Armstrong公理从F中导出的函数依赖f必为F所蕴涵 保真性证明 完备性complete F所蕴涵的函数依赖都能用Armstrong公理从F中导出 完备性证明(学习属性集闭包之后证明) * * 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理推论 Armstrong公理推论： 合并律(union rule) 若α→β，α→γ，则α→βγ 分解律(decomposition rule) 若α→βγ ，则α→β，α→γ 伪传递律(pseudotransitivity rule) 若α→β，βσ→γ，则ασ→γ * * 数据库系统概念----关系数据库设计 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 * * 数据库系统概念----关系数据库设计 7.4.1 计算F+ 算法：计算F+ F+=F repeat for each 函数依赖f in F+ 在f上应用自反律和增补律将结果加入到F+ for each 一对函数依赖f1和f2 in F+ if f1和f2可以使用传递律连接起来，将结果加入到F+ until F+不再发生变化 算法的时间复杂性：NP 不可能有计算F+的多项式算法 计算闭包算法的特征： 集合按照一定规则生长、直到不能再生长； * * 数据库系统概念----关系数据库设计 7.4.2属性集的闭包：α+ 定义 关系模式R(F),α?R： F下α函数决定的所有属性的集合 称作属性集α(在F下)的闭包,记作 或α+ 示例： R(sno,sname,dno,dname,cno,cname,score) F:sno→sname,dno dno→dname cno→cname sno,cno→score 属性集闭包： (sno)+=sno,sname,dno,dname (cno)+=cno,cname (sno,cno)+=R 练习，试计算属性集闭包： (dno)+, (sno,dno)+, (cno,