因为没有任何非主属性对码传递依赖或部分依赖_第1页
因为没有任何非主属性对码传递依赖或部分依赖_第2页
因为没有任何非主属性对码传递依赖或部分依赖_第3页
因为没有任何非主属性对码传递依赖或部分依赖_第4页
因为没有任何非主属性对码传递依赖或部分依赖_第5页
已阅读5页，还剩43页未读， 继续免费阅读

下载本文档

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

文档简介

1、526 BCNF STJ是3NF，因为没有任何非主属性对码传递依赖或部分依赖。 但STJ不是BCNF关系，因为T是决定因素，而T不包含码。 非BCNF的关系模式也可以通过分解成为BCNF。例如STJ可分解为ST(S，T)与TJ(T，J)，它们都是BCNF。 3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测度。一个模式中的关系模式如果都属于属于BCNF，那么在函数依赖范畴内，它己实现了彻底的分离，已消除了插入和删除的异常。527 多值依赖TwvS528 4NF529 规范化小结53 数据依赖的公理系统一个有效而完备的公理系统Armstrong公理系统1974年Armstron

2、g提出Armstrong公理系统是有效的、完备的。公理系统是有效的、完备的。有效性有效性指的是：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中；完备性完备性指的是:F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。由引理51容易得出：Armstrong公理系统的有效性完备性：完备性：Armstrong公理的完备性及有效性说明了“导出”与“蕴含”是两个完全等价的概念。于是F+也可以说成是由F出发借助Armstrong公理导出的函数依赖的集合。 从蕴含(或导出)的概念出发，又引出了两个函数依赖集等价和最小依赖集的概念。定理53的证明给出的极小化过程也可以看成是检验F是否为极小依赖集的一个算法。两个关系模式R1，R2，如果F与G等价，那么R1的关系一定是R2的关系。反过来，及R2的关系也一定是R1的关系。所以在R中用与F等价的依赖集G来取代F是允许的-R1。*54 模式的分解541 模式分解的三个定义“等

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

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

最新文档

评论

0/150

提交评论