第7章节关系数据库规范化理论new.pptVIP

下载本文档

7
0
约 37页
2017-03-19 发布于北京
举报
版权申诉

第7章节关系数据库规范化理论new.ppt

1、本文档共37页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
8、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

第7章关系数据库规范化理论 7.1 函数依赖 7.2 关系规范化 7.3 关系模式的分解准则 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.1 函数依赖定义：如果有一个关系模式R(A1,A2,…,An)，X 和Y 为{A1,A2,…,An}的子集，那么对于关系R中的任意一个X值，都只有一个Y 值与之对应，则称X函数决定Y，或Y函数依赖于X。例：Student（Sno, SName, Sdept, Sage） Sno→SName, Sno→Sdept, Sno→Sage 例： SC（Sno, Cno, Grade）（Sno, Cno）→Grade Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一些术语和符号 1. X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖。如不作特别说明，我们总是讨论非平凡函数依赖。 2. 如果Y不如果函数依赖于X，则记作X—/→Y。 3. 如果X→Y，则称X为决定因子。 4. 如果X→Y，并且Y→X，则记作X←→Y。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一些术语和符号 5. 如果X→Y，并且对于X的一个任意真子集X’ 都有X’ —/→Y，则称Y完全函数依赖于X，记作: 6.如果X→Y（非平凡函数依赖，并且Y—/→X）、Y→Z，则称Z传递函数依赖于X。如果X’→Y成立，则称Y部分函数依赖于X，记作: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 示例例1：有关系模式SC（Sno,Sname,Cno,Credit,Grade）则函数依赖关系有： Sno→Sname （Sno, Cno）→ Sname （Sno, Cno）→ Grade Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 示例例2：有关系模式S（Sno,Sname,Dept,Dept_master）函数依赖关系有： Sno 由于：Sno Dept, Dept Dept_master 所以有：Sno Dept_master Sname Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 为什么要讨论函数依赖 Sno Sdept SLOC Cno Grade 9812101 计算机 2公寓 DB 80 9812101 计算机 2公寓 OS 85 9821101 信息 1公寓 C 90 9821101 信息 1公寓 DS 84 9821102 信息 1公寓 OS 78 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 存在问题数据冗余问题数据更新问题数据插入问题数据删除问题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.2 关系规范化 7.2.1 关系模式中的码 7.2.2 范式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Pr