[第06章关系数据理论.ppt

问题 本课程前面章节分别解决了什么问题？ 关系数据理论 主要内容： 问题的提出 规范化 数据依赖的公理系统 模式分解 6.1问题提出及函数依赖 如果将前面的student,course,和s_c表合成一个表，会是怎样的 ？其中(sno,cno)为主码。 合并后的表，它的结构不合理，原因分析： 函数依赖小结 函数依赖 非平凡的函数依赖 完全函数依赖 部分函数依赖 传递函数依赖 6.2范式 第1范式的内容是什么？ 主码与其他非码属性的关系应该是怎样的？ 考虑如下关系，(Sno,Cno)为码。 关系是 2NF，不能保证是3NF和BCNF； 3NF，能保证是2NF，但不能保证是BCNF； BCNF，能保证是2NF和3NF。 关系如下： 6.3关系的规范化程度 关系规范化的目的是解决关系模式中存在的数据冗余、 插入和删除异常、 更新繁琐等问题。 其基本思想是消除数据依赖中的不合适部分,使各关系模式达到某种程度的分离,使一个关系描述一个概念、 一个实体或实体间的一种联系。 因此,规范化的实质是概念的单一化。 各种规范化之间的关系为： 6.4模式的分解 1、数据依赖的公理系统 2、模式分解 背景知识 在关系模式RU,F中，U的含义是什么，F的含义是什么，它应该包含什么？ 在关系模式(sno,sname,sage,cno,cname,grade)中，U指什么，F是什么，应该包含哪些内容？ 例如(Sno,Cno,Grade)中关系模式是什么，关系又是什么，两者的联系是什么？P43,46 函数依赖如何定义？ 在线性代数中，n维空间和n维空间的基的关系是什么？ 在离算数学中，蕴含的含义是什么？ 6.4.1数据依赖的公理系统——只作介绍不作证明 提出的目的： 是模式分解的理论基础； 从一组函数依赖求得蕴含的函数依赖，例如已知函数依赖集F，判断X?Y是否为F所蕴含。 Armstrong公理系统 6.4.2模式分解 如果一个关系不满足2NF，应该做怎样的处理，通过哪种操作可以实现？ 定义6.16 关系模式RU,F的一个分解是指p={R1U1,F1, R2U2,F2,…, RnUn,Fn} 其中 6.4.2.1模式分解的3个定义 6.4.2.2分解无损连接性和保持函数依赖性 符号： RU,F的一个分解p，表示为 r是RU,F的一个关系。 mp(r)是r在p中各关系模式上投影的连接。 小结 函数依赖； 范式：1NF,2NF,3NF,BCNF 多值依赖： 4NF 数据依赖的公理系统 模式分解 作业 P195 T1,2,12 在关系模式RU,F中，如果函数依赖集F满足下列条件， F中任一函数依赖的右部仅含有一个属性； —最简形式； F中不存在这样的函数依赖X?A,使得F与F-{X?A}等价； —不能包含多余的函数依赖； F中不存在这样的函数依赖X?A,X有真子集Z使得F-{X?A} ∪{Z?A}与F等价。 —F中的函数依赖全部是完全函数依赖。 则称F为一个极小函数依赖集，亦称为最小依赖集或最小覆盖。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理6.3 每一个函数依赖集F均等价于一个极小函数依赖集Fm。此Fm称为F的最小依赖集。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对关系进行分解处理使它满足2NF ，通过投影操作便可以实现分解处理。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义6.17 函数依赖集合{ }的一个覆盖Fi叫作F在属性Ui上的投影。 注意：Ui和Uj可以有重叠的部分。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系模式经分解后,应与原来的关系模式等价。 所谓“等价”是指两者对数据的使用者来说应是等价的。 即对分解前后的关系,做相同内容的查询,应产生同样的结果。 这是对模式分