数据库系统概论(第四版)课件第六章关系数据理论幻灯片.ppt

数据库系统概论(第四版)课件第六章关系数据理论幻灯片.ppt

  1. 1、本文档共113页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * An Introduction to Database System 7. 极小化过程 定理6.3 每一个函数依赖集F均等价于一个极小函数依赖 集Fm。此Fm称为F的最小依赖集。 证明: 构造性证明,找出F的一个最小依赖集。 An Introduction to Database System 极小化过程(续) (1)逐一检查F中各函数依赖FDi:X→Y,若Y=A1A2 …Ak,k 2, 则用 { X→Aj |j=1,2,…, k} 来取代X→Y。 (2)逐一检查F中各函数依赖FDi:X→A,令G=F-{X→A}, 若A?XG+, 则从F中去掉此函数依赖。 (3)逐一取出F中各函数依赖FDi:X→A,设X=B1B2…Bm, 逐一考查Bi (i=l,2,…,m),若A ?(X-Bi )F+ , 则以X-Bi 取代X。 An Introduction to Database System 极小化过程(续) [例3] F = {A→B,B→A,B→C,A→C,C→A} Fm1、Fm2都是F的最小依赖集: Fm1= {A→B,B→C,C→A} ? Fm2= {A→B,B→A,A→C,C→A} F的最小依赖集Fm不唯一 极小化过程( 定理6.3的证明 )也是检验F是否为极小依赖集的一个算法 An Introduction to Database System 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 An Introduction to Database System 6.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法不是唯一的 只有能够保证分解后的关系模式与原关系模式等价,分解方法才有意义 An Introduction to Database System 关系模式分解的标准 三种模式分解等价的定义: ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖,又要具有无损连接性 An Introduction to Database System 模式的分解(续) 定义6.16 关系模式RU,F的一个分解: ρ={ R1U1,F1,R2U2,F2,…,RnUn,Fn} U= ∪Ui,且不存在 Ui ? Uj,Fi 为 F在 Ui 上的投影 定义6.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 i=1 n An Introduction to Database System 模式的分解(续) 例:S-L(Sno, Sdept, Sloc) F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} S-L∈2NF 分解方法可以有多种: 1. S-L分解为三个关系模式:SN(Sno) SD(Sdept) SO(Sloc) 2. SL分解为下面二个关系模式: NL(Sno, Sloc) DL(Sdept, Sloc) 3. 将SL分解为下面二个关系模式: ND(Sno, Sdept) NL(Sno, Sloc) An Introduction to Database System 具有无损连接性的模式分解 关系模式RU,F的一个分解 ρ={ R1U1,F1,R2U2,F2, …,RnUn,Fn} 若R与R1、R2、…、Rn自然连接的结果相等,则称关系模式R的这个分解ρ具有无损连接性(Lossless join) 具有无损连接性的分解保证不丢失信息 无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题 An Introduction to Database System 模式的分解(续) 第3种分解方法具有无损连接性 问题:这种分解方法没有保持原关系中的函数依赖 SL中的函数依赖Sdept→Sloc没有投影到关系模式ND、NL上 An I

文档评论(0)

开心农场 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档