- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
04__关系数据库理论
保持函数依赖的模式分解 设关系模式RU,F被分解为若干个关系模式 R1U1,F1,R2U2,F2,…,RnUn,Fn (其中U=U1∪U2∪…∪Un,且不存在Ui ? Uj,Fi为F在Ui上的投影),若F所逻辑蕴含的函数依赖一定也由分解得到的某个关系模式中的函数依赖Fi所逻辑蕴含,则称关系模式R的这个分解是保持函数依赖的(Preserve dependency)。 第四种分解方法 将SL分解为下面二个关系模式: ND(Sno, Sdept) DL(Sdept, Sloc) 这种分解方法就保持了函数依赖。 模式的分解(续) 如果一个分解具有无损连接性,则它能够保证不丢失信息。 如果一个分解保持了函数依赖,则它可以减轻或解决各种异常情况。 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖。同样,保持函数依赖的分解也不一定具有无损连接性。 模式的分解(续) 第一种分解方法既不具有无损连接性,也未保持函 数依赖,它不是原关系模式的一个等价分解 第二种分解方法保持了函数依赖,但不具有无损连 接性 第三种分解方法具有无损连接性,但未持函数依赖 第四种分解方法既具有无损连接性,又保持了函数 依赖 分解算法 若要求分解具有无损连接性,那么模式分解一定能够达到4NF。 若要求分解保持函数依赖,那么模式分解一定能够达到3NF,但不一定能够达到BCNF。 若要求分解既具有无损连接性,又保持函数依赖,则模式分解一定能够达到3NF,但不一定能够达到BCNF。 泛关系假设 “假设已知一个模式Sφ,它仅由单个关系模式组成,问题是要设计一个模式SD,它与Sφ‘等价’,但在某些方面更好一些” 从一个关系模式出发,而不是从一组关系模式出发实行分解 “等价”的定义也是一组关系模式与一个关系模式的“等价” 示例 有如下关系: R(员工号,员工,车间,部门,工作日,出勤) 说明:一个部门可以有多个车间,一个员工只在一个车间工作,一个车间可有多名员工。解决该关系模式存在的问题。 员工号 工作日 车间 员工 部门 出勤 2NF B 员工号 工作日 出勤 A 员工号 部门 车间 员工 消除非主属性对码的部分函数依赖 员工号 车间 员工 C 车间 部门 D 消除非主属性对码的传递函数依赖 3NF 因为各表中只有一个候选码,所以以上表也满足BCNF。 最终关系模式为:B、C、D 1NF 小结(续) 规范化理论为数据库设计提供了理论的指南和工具 也仅仅是指南和工具 并不是规范化程度越高,模式就越好 必须结合应用环境和现实世界的具体情况合理地选择数据库模式 一、多值依赖 定义4.11 在关系模式R(U)的任一关系r中,如果存在两个元组t,s 使得t[X]=s[X],那么就必然存在元组 w,v? r,(w,v可以与s,t相同),使得w[X]=v[X]=t[X],而w[Y]=t[Y],w[Z]=s[Z],v[Y]=s[Y],v[Z]=t[Z],即交换s,t元组的Y值所得的两个新元组必在r中,则称Y多值依赖于X,记为X→→Y。 其中,X,Y是U的子集,Z=U-X-Y。 t x y1 z2 s x y2 z1 w x y1 z1 v x y2 z2 多值依赖(续) 平凡多值依赖和非平凡的多值依赖 若X→→Y,而Z=U-X-Y=φ,则称 X→→Y为平凡的多值依赖 否则称X→→Y为非平凡的多值依赖 多值依赖的性质 (1)多值依赖具有对称性 若X→→Y,则X→→Z,其中Z=U-X-Y 多值依赖的对称性可以用完全二分图直观地表示出来。 (2)多值依赖具有传递性 若X→→Y,Y→→Z, 则X→→ Y →→ Z 多值依赖的对称性 Xi Zi1 Zi2 … Zim Yi1 Yi2 … Yin 多值依赖的对称性 物 理 普通物理学 光学原理 物理习题集 李勇 王军 多值依赖(续) (3)函数依赖是多值依赖的特殊情况。 若X→Y,则X→→Y。 (4)若X→→Y,X→→Z,则X→→Y? Z。 (5)若X→→Y,X→→Z,则X→→Y∩Z。 (6)若X→→Y,X→→Z,则X→→Y-Z, X→→Z -Y。 多值依赖与函数依赖
文档评论(0)