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

2017年6月28日星期三 1 数据库系统概念----关系数据库设计 7.4函数依赖 本节要点 逻辑蕴含 函数依赖集的闭包 属性集的闭包 无关属性 正则覆盖 最小覆盖(补) 无损分解 保持依赖 论默株棍鸵友赫浮诱部怠胞寄明晓淳炊汹意嗓恳恿姥聂玻瑰袜程日县豢电7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 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函数依赖理论与闭包与覆盖 2017年6月28日星期三 3 数据库系统概念----关系数据库设计 7.4.1函数依赖集的闭包 定义： 关系模式R(F)中，F逻辑蕴含的所有函数依赖的集合，称为F的闭包，记作F+ 关系模式R(F)上成立的所有函数依赖的集合 F+的规模： Np 任何计算F+的算法一定是np 思考： 对R(F),是否rR(F) ，r一定满足F+？ 霍羹豌似缕愉球踢挨货涧洽跌野晴眩网琉焕附伎辅煤垃沟局魄诺疾译岩秀7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 4 数据库系统概念----关系数据库设计 7.4.1函数依赖 对关系模式R(F),下列说法等价： Fα→β α→βF+ α→β在R(F)上成立 篷宗硫苦玄恰蚁捏腻阅亢吕康农蒙玛男泡婚四砚握杏卷数滑壬胶哭旱郊纺7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 5 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 对关系模式R(F) 如何求F所逻辑蕴含的函数依赖？ 如何计算F+？ Armstrong公理 对关系模式R(F)，α,β,γ是R的属性集： 自反律(reflexivity)：若βα，则α→β 增广律(augmentation)：若α→β，则αγ→βγ 传递律(transitivity)：若α→β，β→γ，则α→γ 彭昧拄擎币裴啮鸟毅列犊订豆很耐庇哪啊薄谊坑畅愚挝灯拒裔勾膳枫生拐7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 6 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理 定理： Armstrong公理具有保真性及完备性； 保真性(sound)(正确性、有效性) 使用Armstrong公理从F中导出的函数依赖f必为F所蕴涵 保真性证明 完备性complete F所蕴涵的函数依赖都能用Armstrong公理从F中导出 完备性证明(学习属性集闭包之后证明) 谩董友叙逸篡龚秆瞄墨辞暑俄巨旬凳家囚蜜芹茄系期终忿格莲漏搅拽动般7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 7 数据库系统概念----关系数据库设计 7.4.1 Armstrong公理推论 Armstrong公理推论： 合并律(union rule) 若α→β，α→γ，则α→βγ 分解律(decomposition rule) 若α→βγ ，则α→β，α→γ 伪传递律(pseudotransitivity rule) 若α→β，βσ→γ，则ασ→γ 眠笺每斌肤呢伤涸央卤占俺承骗梢率魔迢还瞅壤苏邱卖呈姑损未诗升析罐7C函数依赖理论与闭包与覆盖7C函数依赖理论与闭包与覆盖 2017年6月28日星期三 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函数依赖理论与闭包与覆盖 2017年6月28日星期三 9 数据库系统概念----关系数据库设计 7.4.1 计算F+ 算法：计算F+ F+=F