- 1、本文档共44页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
ppt数据库实用教程五剖析
《数据库实用教程》 第五章 规范化设计 5.1 关系模式的设计问题 5.2 函数依赖 5.3 关系模式的分解特性 5.4 关系模式的范式 5.5 模式的进一步规范化* 第五章 规范化设计 本章讨论如何设计关系数据库,设计关系数据库的核心问题是关系模式的设计。 5.1 关系模式的设计问题 一个关系模型包括外延和内涵两个方面内容: 外延就是通常所说的关系、表或当前值。 内涵是对数据的定义以及数据完整性约束的定义,一般把内涵成为关系模式。 数据的定义包括对关系、属性、域的定义和说明。 数据完整性约束包括静态约束(涉及数据依赖、主键、值域的设计)和动态约束(定义各种操作对关系值得影响)。 泛关系模式与数据库模式 关系模式的一般形式: R U, D, Dom, F 其中:U 为组成关系R的全部属性的集合,即U={A1,…An}。 D 为域的集合,即属性的取值范围的集合。 Dom 为U与D之间的映象。 F 为属性U上的一组约束,即数据依赖集。 例:学习关系SC(SNO,CNO,GRADE)中存在如下数据依赖: (SNO,CNO)? GRADE 泛关系模式与数据库模式 由于D和Dom对关系模式设计影响不大,故关系模式的一般形式可简化为: RU, F 称为:泛关系模式 其中:属性集U中的每个属性Ai对应一个值域Di,而不同的属性可以有相同的值域。 满足上述制约条件F的关系用符号r表示,关系r是关系模式的当前值,是元组的集合。 r表示的关系 称为:泛关系 例如,在关系模式STUDENTU, F中: U= {SNO,SNAME,CNO,CNAME,GRADE} F={(SNO,CNO)?GRADE, SNO?SNAME,CNO?CNAME} 泛关系模式与数据库模式 在实际使用时,R(U)和r可能不是恰当的形式,需要将R(U)替换为一个关系模式的集合: ρ={R1,…,Rk} 称为:数据库模式 其中,每个Ri的属性是U的子集,且有 R1∪R2 ∪…∪Rk=U;对数据库模式的每一个关系模式Ri赋予一个当前值,就得到了一个数据库实例σ。 例:关系模式STUDENT(U)可替换为ρ={R1,R2,R3} U= {SNO,SNAME,CNO,CNAME,GRADE} R1={SNO,SNAME}R2={CNO,CNAME}R3={SNO,CNO,GRADE} 关系模式的冗余和异常问题 如果一个关系模式设计的不好,就会出现数据冗余、异常、不一致等问题,常见的有: 数据冗余:是指同一个数据在系统中多次重复出现。在数据库管理中,数据冗余一直是影响系统性能的大问题。 操作异常:修改异常、插入异常、删除异常。 5.2 函数依赖 关系可定义为笛卡儿积的一个子集,要使这个子集有意义,需要对关系的值作各种限制,这种限制称为数据完整性约束条件。 数据完整性约束主要有两种: 值域的限制:由DBMS完整性子系统实现。 数据依赖:描述了数据之间存在的联系,即属性与属性之间的对应关系。在数据库规范化设计中起着关键的作用。其中,函数依赖是基本的一种依赖,它是关键码概念的推广。 函数依赖的定义 定义5.1:设有关系模式R(U),X和Y是属性集U的子集,如果对于R的任何一个关系r中的任意两个元组t和s,对应于X的属性分量的值相等时,对应于Y的属性分量的值也相等,即:只要有t[X]=t[X],就有s[Y]=s[Y],则称“X函数决定Y”或称“Y函数依赖于X”, 其符号表示为:X?Y。对于R上的每一个X?Y都称为一个函数依赖(简称FD)。 FD也可以描述为:对于r中属性或属性组X的每一个值,r中属性或属性组Y只有一个值与之对应。 函数依赖的逻辑蕴涵 定义5.2:设 F 是关系模式 R(U)上成立的函数依赖集,X和Y是属性集U的子集。如果从F推导出的X→Y也在R(U)上成立,那么称F逻辑蕴涵 X→Y,记为:F?X→Y 定义5.3:设F是关系模式R(U)上成立的函数依赖集,X和Y是属性集U的子集。F的所有逻辑蕴涵组成的集合称为函数依赖集F的闭包, 记为:F+。 F+={X→Y|F?X→Y}即:从给定的函数依赖集合F推出的所有函数依赖组成的集合,称为F的闭包。 函数依赖的推理规则 设U是关系模式R的属性集,F是R上成立的一组函数依赖集,X、Y分别是U上的子集,则存在如下推理规则: FD公理(函数依赖公理): 自反性:若Y?X?U,则X→Y在R上成立。 增广性:若X→Y在R上成立,且Z?U,则XZ→YZ在R上成立。 传递性:若X→Y和Y→Z在R上成立,则 X→Z在R上成立。 定理5.1:如果X→Y是从F用推理规则导出,那
文档评论(0)