仲恺农业工程学院计算机科学与工程学院数据库原理及应用课件第4章 关系规范化理论.pptVIP

仲恺农业工程学院计算机科学与工程学院数据库原理及应用课件第4章 关系规范化理论.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
An Introduction to Database System 数据库原理及应用 Principles and Applications of the Database 第四章 关系规范化理论 本章导读 了解:规范化理论的重要性;Armstrong公理系统 理解:函数依赖、码的基本定义;各级范式的定义; 掌握:模式分解的等价性判定准则和分解算法思想,指导好的模式设计。 第四章 关系规范化理论 重点: 1.函数依赖 2.码 3.分解的无损连接性和函数依赖保持性 难点: 1.模式分解等价性判定的三个准则 2.模式分解算法? 第四章 关系规范化理论 本章要点 函数依赖 范式 Armstrong公理系统 函数依赖集闭包和属性依赖集闭包 模式分解等价性判断准则和分解算法 第四章 关系规范化理论 4.1 问题的提出 4.2 规范化理论 4.3 关系模式的分解 本章小结 4.1 问题的提出 人们希望有一种形式化的设计方法可以从理论上判断某个关系模式“好”或是“不好”,对于“不好”的关系模式,如何产生一个等价的“好”的模式将其替代。 这些判断理论就是本章学习的重点——关系数据库的规范化理论。 4.1 问题的提出 先从一个实例出发,看看一个“不好”的关系模式可能给关系操作带来的不良影响。 例如:某学校要建立一个教务管理系统,其中有一个课程管理子系统,面临的对象有:教师、院系和课程。 于是有一组属性集合: U={教师编号,教师姓名,教师所属院系,院系负责人,课程编号,课程名称,学时数,授课地点,授课时间} 4.1 问题的提出 由现实世界的已知事实可以得知上述对象间有如下对应关系: (1)一个院系有若干教师,但一个教师只能在一个院系工作; (2)一个院系只有一个负责人; (3)一个教师可以担任多门课程,一门课程可由多个教师分别讲授。 4.1 问题的提出 4.1 问题的提出 不难看出属性之间存在如下的一些依赖关系: (1)教师编号确定,教师姓名和所在院系就被唯一确定; (2)课程编号确定,课程名称和学时数就被唯一确定; (3)所在院系的负责人也是由所在院系唯一确定; (4)一个教师讲授多门课程,而一门课程由多个教师讲授,所以要确定某个教师讲授某一门课程的授课时间和授课地点,必须由教师编号和课程编号共同来确定。 4.1 问题的提出 可以设计哪些数据库模式的方案? 4.1 问题的提出 方案1:采用一个总的关系模式: TCP(教师编号,教师姓名,教师所属院系,院系负责人,课程编号,课程名称,学时数,授课地点,授课时间) 4.1 问题的提出 方案2:采用四个关系模式: T(教师编号,教师姓名,教师所属院系) DP(院系名称,院系负责人) C(课程编号,课程名称,学时数) TC(教师编号,课程编号,授课地点,授课时间) 4.1 问题的提出 4.1 问题的提出 具体地,关系模式的非形式化设计准则包括: 准则1:设计一个关系模式要能够更容易的理解它的含义。 准则2:设计基本关系模式要使得关系中不出现插入、修改和删除异常。 4.1 问题的提出 准则3:设计一个关系模式要尽可能避免在其中放置经常为空值的属性。 准则4:设计关系模式要使得它们可以在作为主码或外码的属性上,进行连接,并且保证不会因为这种连接产生错误或无效的元组。 第四章 关系规范化理论 4.1 问题的提出 4.2 规范化理论 4.3 关系模式的分解 本章小结 4.2 规范化理论 4.2.1 函数依赖 1. 函数依赖的定义 定义4.1 设R(U)是属性集U上的关系模式,X、Y是属性集U={A1,A2,…,An}的任意子集。若对R(U)的任何一个可能的关系r,当且仅当r中任意一个给定的X的值,r中存在唯一的Y值与之对应。也就是说,如果r中的任何两个元组u和v,只要有u[X]=v[X],则必须也有u[Y]=v[Y],则称Y函数依赖于X或X函数确定Y,记作X Y。 4.2.1 函数依赖 以下介绍几个函数依赖有关的基本术语。 (1)决定因素:若X→Y则X被称为决定因素。 (2)互相依赖:若X→Y,Y→X,称X和Y互相依赖,记作。 (3)若Y 不依赖于X,则记作X → Y 。 4.2.1 函数依赖 以关系模式TCP为例,关系模式TCP中的属性集合以及存在的一些函数依赖关系 : 属性集合: U={教师编号,教师姓名,教师所属院系,院系负责人,课程编号,课程名称,学时数,授课地点,授课时间} 函数依赖关系: 教师编号 → 教师姓名 课程编号 → 课程名称 {教师编号,课程编号} → {授课地

您可能关注的文档

文档评论(0)

ormition + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档