【图文】数据库原理 第五章 关系数据库的规范化设计(第一部分)_第1页
【图文】数据库原理 第五章 关系数据库的规范化设计(第一部分)_第2页
【图文】数据库原理 第五章 关系数据库的规范化设计(第一部分)_第3页
【图文】数据库原理 第五章 关系数据库的规范化设计(第一部分)_第4页
【图文】数据库原理 第五章 关系数据库的规范化设计(第一部分)_第5页
已阅读5页,还剩15页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、 范式(四续三 5.2.3 范式(四续三 在多值依赖中, Z=U, 在多值依赖中,若X Y,且Z=U-X-Y,则称 X Y是非平凡的多值依赖;否则称为平凡的多 是非平凡的多值依赖; 值依赖。 值依赖。 多值依赖的形式: 多值依赖的形式: 设有关系模式R(U,U是属性全集, R(U,U是属性全集 设有关系模式R(U,U是属性全集,X、Y、Z属 性集U的子集,且Z=U-X-Y,r是关系模式R的任一关系, 性集U的子集, Z=U是关系模式R的任一关系, 的任意两个元组,如果tX=sX 必有r ,如果tX=sX, t、s是r的任意两个元组,如果tX=sX,必有r 的两个元组u 存在,使得: 的两个元组

2、u、v存在,使得: . sX=tX=uX=vX uY=tY且 . uY=tY且uZ=sZ . vY=sY且vZ=tZ vY=sY且 则称X多值决定Y 多值依赖于X 则称X多值决定Y或Y多值依赖于X 范式(四续四 5.2.3 范式(四续四 多值依赖与函数依赖的区别: 多值依赖与函数依赖的区别: a.在关系模式R中,函数依赖XY的有效性仅仅决定 a.在关系模式R 函数依赖X 在关系模式 这两个属性集,不涉及第三个属性集, 于X、Y这两个属性集,不涉及第三个属性集,而在多 值依赖中, 在属性集U U=X+Y+Z) 值依赖中,X Y在属性集U(U=X+Y+Z)上是否成 不仅要检查属性集X 上的值,而要

3、检查属性集U 立,不仅要检查属性集X、Y上的值,而要检查属性集U 的其余属性Z上的值。 的其余属性Z上的值。 如果X Y在属性集W(WU)上成立,而在属性 如果X 在属性集W 上成立, 上不一定成立,所以, 集U上不一定成立,所以,多值依赖的有效性与属性集 的范围有关。 的范围有关。 如果在关系模式R上存在函数依赖X b. 如果在关系模式R上存在函数依赖XY,则任何 成立, 上成立, YY均有XY成立,而多值依赖X Y在R上成立, 均有X 成立 而多值依赖X Y 但不能断言对于任何Y Y 成立 但不能断言对于任何YY有X Y成立 范式(四续五 5.2.3 范式(四续五 多值依赖的性质: 多值依

4、赖的性质: 多值依赖具有对称性, 多值依赖具有对称性, 即若X 其中Z=U Z=U即若X Y,则X Z,其中Z=U-X-Y。 多值依赖具有传递性, 多值依赖具有传递性, 即 X Y , Y Z , 则 X Z - Y 。 函数依赖可看作是多值依赖的特殊情况, 函数依赖可看作是多值依赖的特殊情况, 即若X 即若X Y,则X Y。 多值依赖合并性, 多值依赖合并性, 即若X YZ。 即若X Y, X Z ,则X YZ。 多值依赖分解性,即若X 多值依赖分解性,即若X Y, X Z,则X 均成立。说明, (YZ), X Y-Z, X Z-Y均成立。说明,如果两 个相交的属性子集均多值依赖于另一个属性

5、子集, 个相交的属性子集均多值依赖于另一个属性子集,则这两个属 性子集因相交而分割成的三部分也都多值依赖于该属性子集。 性子集因相交而分割成的三部分也都多值依赖于该属性子集。 范式( 5.2.3 范式(五 第四范式(4NF) 第四范式(4NF) a.定义 a.定义 设有一关系模式R ),U是其属性全集, 设有一关系模式R(U),U是其属性全集,X、Y是U的 子集, 上的数据依赖集。 子集,D是R上的数据依赖集。如果对于任一多值依赖 此多值依赖是平凡的,或者X包含了R X Y,此多值依赖是平凡的,或者X包含了R的一个 侯选关系字,则称R是第四范式的关系模式,记作R 4NF。 侯选关系字,则称R是

6、第四范式的关系模式,记作R4NF。 备注:一个BCNF的关系模式不一定是4NF BCNF的关系模式不一定是4NF, 4NF的关系 备注:一个BCNF的关系模式不一定是4NF,而4NF的关系 模式必定是BCNF的关系模式, 4NF是BCNF的推广 BCNF的关系模式 的推广。 模式必定是BCNF的关系模式,即4NF是BCNF的推广。 4NF的分解 b. 4NF的分解 把一个关系模式分解为4NF的方法与分解为BCNF 4NF的方法与分解为BCNF的方 把一个关系模式分解为4NF的方法与分解为BCNF的方 法类似, 法类似,就是当把一个关系模式利用投影的方法消去非 平凡且非函数依赖的多值依赖,并且有无损连接性。 平凡且非函数依赖的多值依赖,并且有无损连接性。 备注: 备注: 数据依赖和多值依赖是两种重要的数据依赖, 数据依赖和多值依赖是两种重要的数据依赖,如只 考虑函数依赖,则属于BCNF BCNF的关系模式的规范化程序

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论