联系数据库细则化理论.ppt

下载文档

5
0
约小于1千字
约 31页
2017-04-28 发布于上海
举报
版权申诉
保障服务

联系数据库细则化理论.ppt

1、本文档共31页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

联系数据库细则化理论

第四章关系数据库的规范化理论;本章内容;4.1 问题的提出;;4.2关系模式的函数依赖;4.2.2 函数依赖的类型;;;4.2.3 关键字的相关定义;4.2.4 函数依赖的推理规则;4.2 函数依赖理论一个关系模式可能存在很多个函数依赖，它们构成了该关系模式的函数依赖集。该集合是很大的,如果仅依靠语义分析的方法去找出一个关系模式的所有函数依赖是一件很不容易的事情，实际上也没有必要。 1,逻辑蕴涵：用推理的方法，从一个已知的函数依赖集去推导出另一个函数依赖集，这样两个函数依赖集之间的互为因果关系称之为逻辑蕴涵。因此，我们给出一个函数依赖集闭包的定义。 ;;;; 定义4.9 设F是属性集合U上的一个函数依赖集，X?U，称为属性集X关于F的闭包。 P110 引理4.2 设F是属性集U上的函数依赖集，X，Y是U的子集，则X?Y能由F根据Armstrong公理导出的充分必要???件是。;;;;;4.3 关系范式;4.3.1 范式的定义及规范化;;;;;;;;;;