关系数据库设计理论 .pptVIP

下载本文档

7
0
约1.74万字
约 57页
2017-02-07 发布于北京
举报
版权申诉

关系数据库设计理论 .ppt

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

关系数据库设计理论

* 无损连接性（lossless join property），确保在分解之后不会发生第5.1.4节中生成伪元组的问题。依赖保持性（dependency preservation property），确保每个函数依赖会在分解之后产生的一些单独的关系中出现。F中的每个依赖都代表了数据库上的一个约束。如果一个依赖没能在分解的某个单独的关系中出现，就不能在处理一个单独的关系时执行这个约束。 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. * 下面给出形式化定义及相关算法：定义5.12：设?={R1，R2，…， Rk}是关系模式R的一个分解，F是R的一个函数依赖集。若对于R的任一关系r都有则称分解?具有无损连接性。简称?为无损分解。定义5.13：设ρ={R1，R2，…， Rk}是R的一个分解，F是R上的函数依赖集，若，则称ρ具有依赖保持性。 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. * 算法5.2：无损连接性的检验。输入：关系模式R(A1，A2，…，An)； R上的函数依赖集F； R上的分解?={R1，R2，…，Rk}。输出：确定?是否具有无损连接性。方法：(1) 构造一个k行n列的表M，第i行对应于?中的一个关系模式Ri，第j列对应于R的一个属性Aj。表中元素M[i, j]的取值为：如果Aj?Ri，则在第i行第j列上放符号aj，否则放符号bij。 (2) 逐个地检查F中的每一个函数依赖，并修改表中元素。其方法为：取得F中一函数依赖X→Y，在X的分量中寻找相同的行，然后将这些行中Y的分量改为相同的符号。如果其中有aj ,则将bij改为aj；若其中无aj，则改为bij。 (3) 这样反复进行，如果发现某一行变成了a1，a2，…，an，则分解ρ具有无损连接性；如果检验完F中的所以依赖也没有发现这样的行，则分解ρ不具有无损连接性。 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. * 定理5.4：设ρ={R1, R2}是R的一个分解，F是R上的函数依赖集，ρ为无损分解的充分必要条件是(R1∩R2)→(R1–R2)或(R1∩R2)→(R2–R1)。 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. * 5.3.2 第一范式和第二范式定义5.14：对于关系模式R的任一关系r，若其每一属性值都是单个的原子的（atomic）或不可再分的值（indivisible value），则称R为第一范式(first normal form)或规范化关系，记作R?1NF。不满足1NF的关系称为非规范化关系。 Evaluation only. Created