- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
5第5章第2讲函数依赖公理体系
第2讲 函数依赖的公理体系;主要内容;一、阿姆斯特朗公理及推论;1、阿姆斯特朗公理; Armstrong公理是正确的。
方法:从函数依赖的定义出发
A1 自反律:若Y?X,则X?Y (增广律,传递律证明类似,P104)
证:设u、v为r的任意两个元组。
若u[X]=v[X],则u和v在X的任何子集上必然相等。
由条件Y?X ,所以有:u[Y]=v[Y],
由u、v的任意性,并根据函数依赖的定义,可得 X?Y。;;;作用:将一个FD分解成若干个右边是单属性的FD。用于确定关系的主键。;二、X关于F的闭包及其计算;1、X关于F的闭包; 设有关系模式R(U,F),U={A1,A2,…,An}是R的属性集,F是R的属性集U上的函数依赖集,X、Y是U的子集,则
X?Y能用Armstrong公理从F导出?Y?X+。;算法5.1 求属性集X关于函数依赖集F的闭包X+
输入:
关系模式R的全部属性集U,U上的函数依赖集F,U的子集X。
输出:
X关于F的闭包X+。
计算方法:
;(1)X(0)=X。
(2)从F中找出满足条件V?X(i)的所有函数依赖V→W,并把所有的V→W中的属性W组成的集合记为Z;也即从F中找出那些其决定因素是X(i)的子集的函数依赖,并把由所有这样的依赖的被决定因素组成的集合记为Z。
(3)若Z?X(i),则转(5)。(当X(i)只决定自己时)
(4)否则,X(i+1)=X(i)Z,并转(2)。(传递律)
(5)停止计算,输出X(i),即为X+。;例5.4 已知R(U),U={A,B,C,D,E,G}, R上的FD集
F={AB→C,C→A,BC→D,ACD→B,D→EG,BE→C,
CG→BD,CE→AG},
X=BD,求X+,BD→A是否成立?
(1)X(0)=BD。({B}、{D}、{B,D})
(2)X(1)=BDEG({B}、{D}、{E}、{G}、{B、D}…2n-1个子集)
(3)X(2)=BCDEG
(4)X(3)=ABCDEG; 一个函数依赖集F的闭包F+通常包含很多函数依赖,有些函数依赖是无意义的,如平凡的函数依赖,还有一些是可以推导出的,即无关的函数依赖。如果将每一个函数依赖看作是对关系的一个约束,要检查F+中的每一个函数依赖对应的约束,显然是一件很繁重的任务。如果能找出一个与F等价的、包含较少数目函数依赖的函数依赖集G,则可以简化此工作。最小函数依赖集的概念由此而提出。; 定义5.5
设F和G是两个函数依赖集,如果F+=G+,则称F和G等价。如果F和G等价,则称F覆盖G,同时也称G覆盖F。;定理5.4 F+=G+的充要条件是F?G+和G?F+。;作用:任一函数依赖集都可转化成由右端只有单一属性的依赖组成的集合。
该结论是最小函数依赖集的基础。; 满足下列条件的函数依赖集F称为最小函数依赖集。
① F中每一个FD的右端都是单个属性;
② 对F中任何FD:X?A,F-{X?A}不等价于F;
③ 对F中的任何FD:X?A和X的任何真子集Z,
(F-{X?A})∪{Z?A}不等价于F。;求解方法;求解方法(续一);求解方法(续二);AB?C,C?A,BC?D,
ACD?B,D?EG,BE?C,
CG?BD,CE?AG;② F21=;② F22=;AB?C,C?A,BC?D,ACD?B,D?E,D?G,BE?C,CG?D,CE?G;② F21=;四、候选键的求解方法;四、候选键的求解方法;四、候选键的求解方法;四、候选键的求解方法;R的候选键:A、E、BC和CD;X→Y是否能从F导出;谢谢
原创力文档


文档评论(0)