- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第6章 数据依赖和关系规范化理论 本章主要内容 (1)关系模式的冗余和异常问题。 (2)FD的定义、逻辑蕴涵、闭包、推理规则、与关键码的联系;平凡的FD;属性集的闭包;推理规则的正确性和完备性;FD集的等价;最小依赖集。 (3)无损分解的定义、性质、测试;保持依赖集的分解。 (4)关系模式的范式:1NF,2NF,3NF,BCNF。分解成2NF、3NF模式集的算法。 数据依赖和关系规范化理论 6.1 关系模式的设计问题 6.2 函数依赖 6.3 函数依赖理论 6.4 函数依赖集的等价和覆盖 6.5 关系模式的分解 6.6 多值函数依赖与第四范式 本章小结 6.1 关系模式的设计问题 假设需要设计一个学生学习情况数据库StuDB。 下面我们以模式S_C_G(S#,SN,SD,SA,C#,CN,G,PC#)为例来说明该模式存在的问题。下表是其一个实例。 关系模式的分解 我们采用分解的方法,将上述S_C_G分解成以下三个模式: S(S#,SN,SD,SA) C(C#,CN,PC#) S_C(S#,C#,G) 6.2 函数依赖 1)函数依赖(Functional Dependency,简称FD) 2)几种类型的函数依赖 几种类型的函数依赖 3)关系的关健字和超关键字 6.3 函数依赖理论 6.3.1 函数依赖的逻辑蕴涵 6.3.2 Armstrong公理系统 6.3.3 属性集闭包 6.3.1 函数依赖的逻辑蕴涵 例如在上述的传递函数依赖中,由X→Y,Y→Z,推导出X→Z,这可以表示为: {X→Y,Y→Z} ? X→Z 其中: ?表示逻辑蕴涵。 一般地讲,函数依赖的逻辑蕴涵或以定义如下: 函数依赖集F的闭包F+ 6.3.2 Armstrong公理系统 1)独立推理规则 即下面给出的Armstrong公理的三条推理规则是彼此独立的。 2)其他推理规则 一个重要定理 6.3.3 属性集闭包 定义6-9(属性集闭包):设有关系模式R(U),U={ A1,A2,…,An},X是U的子集,F是U上的一个函数依赖集,则属性集X关于函数依赖集F的闭包 定义为: ={Ai|Ai∈U,且X→Ai可用阿氏公理从F推出} 函数依赖集F的闭包计算 算法6-1的求解过程 6.4 函数依赖集的等价和覆盖 6.5 关系模式的分解 6.5.1 什么叫模式分解 6.5.2 分解的连接不失真性 6.5.3 函数依赖保持性 6.5.4 模式分解的级别—范式 6.5.5 模式分解算法 6.5.1 什么叫模式分解 例6-7:设在模式R(U,F)中 U={SNO,SNAME,DNAME,DADDR} F={SNO→SNAME,SNO→DNAME,DNAME→DADDR} 如果对R作如下分解(方法1): ρ={R1({SNO,SNAME},{SNO→SNAME}), R2( {DNAME,DADDR}, {DNAME→DADDR})} (1)连接不失真问题 方法2:假设按下列方法对R进行分解 ρ={R1 ({SNO,SNAME,DNAME},{SNO→SNAME,SNO→DNAME} ), R2({DNAME,DADDR}),{DNAME→DADDR})} (2)依赖保持问题 上例方法1: F={SNO→SNAME,SNO→DNAME,DNAME→DADDR} F1∪F2={SNO→SNAME,DNAME→DADDR} F+={SNO→SNAME,SNO→DNAME,DNAME→DADDR,SNO→DADDR} (F1∪F2)+={SNO→SNAME,DNAME→DADDR} 6.5.2 分解的连接不失真性 r 和mρ(r)之间的联系 2)连接不失真的检验 事例说明 简单的检验方法 6.5.3 函数依赖保持性 例6-12:设R(A,B,C),F={A→B,C→B},ρ={R1({A,B},{A→B}),R2({A,C},{A→C})}。 R1∩R2=A, R1-R2=B,R2-R1=C R1∩R2→R1-R2= A→B∈F 但F={A→B,C→B},F1∪F2={A→B,A→C},即F+ ≠ (F1∪F2)+ 可见具有连接不失真性,但不具有依赖保持性。 6.5.4 模式分解的级别—范式 1)第一范式(1NF) 例如,设模式: P (PNO,PNAME,QOH,PJ(PJNO,PJNAME,PJMNO,PQC)) 将模式P变为: P(PNO,PNA
您可能关注的文档
最近下载
- 智算中心项目安全管理方案(模板).docx
- STS1-7SE微波栅栏产品说明书 民用雷达周界安防入侵探测船只探测渔政管理航迹跟踪主动探测V1.0.pdf VIP
- 6月护理核心制度考试试题.docx VIP
- 注塑模具管理控制程序.doc VIP
- (正式版)D-L∕T 5496-2015 220kV~500kV户内变电站设计规程.docx VIP
- 大学生拖延行为的原因与对策研究.docx VIP
- 教科版四年级科学上册全册教案(详细篇)根据2022版科学新课标编写.pdf VIP
- 企业文化建设与企业价值观塑造.docx VIP
- 北大软微金融科技培养方案及课程设置.pdf VIP
- 内科学 支气管哮喘 支气管哮喘的治疗.pptx VIP
文档评论(0)