- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三章 数 据 依 赖 数据依赖 : 函数依赖、多值依赖、连接依赖 数据依赖 是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系 是现实世界属性间相互联系的抽象 是数据内在的性质 是语义的体现 函数依赖的例子 学校数据库的语义: ⒈ 一个系有若干学生, 一个学生只属于一个系; ⒉ 一个系只有一名主任; ⒊ 一个学生可以选修多门课程, 每门课程有若干学生选修; ⒋ 每个学生所学的每门课程都有一个成绩。 3.3 函数依赖的等价和覆盖 3.3.1 函数依赖的等价和覆盖 定义(等价和覆盖) 在模式R上的FDs F和G,若F+=G+,则F和G等价。 记作F?G。 若F?G,称F是G的一个覆盖,也称G是F的一个覆盖。 定理4 已知模式R上的函数依赖集 F和G。当且仅当 F|=G 且 G|=F ,则 F ? G。 证明:如果F|=G,若有X→Y∈G,则F|=X→Y,即X→Y∈F +, 有G?F +,(G)+?(F+)+ = F + 。 同理,如果G|=F,有F + ?G +。因此,F +=G +,则F?G。 反之,若F?G,则F|=G和G|=F是显然的。证毕。 例: 证明F={A→BC, A→D, CD→E}和 G={A→BCE, A→ABD, CD→E}等价 3.3.2 无冗余覆盖 定义(无冗余覆盖) 如果FDs F不存在真子集F?使F?? F成立,则F是无冗余的。如果F是G的一个覆盖且F是无冗余的,则F是G的一个无冗余覆盖。 例: 求F={A→B, B→A, B→C, AB→C }的一个无冗余覆盖。 {A→B, B→A, B→C, AB→C } *一个函数依赖集的无冗余覆盖不是唯一的. 算法3.3.1 计算无冗余覆盖 NONREDUN(F) begin G: =F ; for each FD X→Y in F do if MEMBER(G-{X→Y}, X→Y) then G: =G-{X→Y}; return(G) end. 定理5 设F和G是模式R上的两个等价的、无冗余的FDs。令X→Y是F上的一个FD。则在G中存在一个FD V→W使得X?V。 定义(属性集等价) 设X、Y?R,若F|=X→Y,且F|=Y→X,则X和Y在F上等价。记作X?Y。 证明:若X→Y?F,因F?G,G|=X→Y. 则对X→Y有一个基于G的推理序列,其使用集为U(G,X→Y)。 对任一 FD S→Z?U(G,X→Y),则根据属性闭包的概念, 有:G|=X→S。 又因 F?G, F|= S→Z. 则该函数依赖有一个基于F的推理序列。 要证明: X?V 在G中一定有一个FD V→W ? U(G,X→Y),则有X→V。 因F?G,V→W有一个基于F的推理序列且X→Y? U(F,V→W), 则有G|= V→X。 接下页 否则,若X→Y?U(F,V→W),则FD V→W的使用集可写为:U(F?{X→Y},V→W)。这样,由F和G等价可推出: F?{X→Y} |= U(G,X→Y),则X→Y在F中是冗余的,这与F是无冗余的相矛盾。因此,必定有 X→Y?U(F,V→W),则F|=V→X。 由以上证明可知,G|=X→V ,则F|=X→V,又 F|=V→X。因此,在F中有X?V,同理,在G中亦有X?V。 证毕。 示例 例:设无冗余的等价的函数依赖集F?G F ={A→BC,B→A,AD→E} G={A→ABC,B→A,BD→E} F和G中左部等价的属性集为: A?A,B?B,AD?BD AD→E是F中的FD,在G中有BD→E 使得AD?BD: 在G中,U(G,AD→E)={A→ABC,BD→E} 在F中,U(F,A→ABC )={A→BC} U(F,BD→E )={B→A,AD→E} 因此,在F和G中有 AD?BD。 等价类:对于模式R上的FDs集F和属性集X ? R。设EF(X)是F中左部等价于X的函数依赖集,即: EF(X)={Z→W ? Z→W?F且 X?Z} 令 ?EF 为F上所有左部等价的函数依赖的集合,即: ?EF ={ EF(X) ? X ? R且EF
文档评论(0)