11春第06章关系数据理论课件.pptVIP

第06章关系数据理论;本章内容概要;本章教学要求;回顾(1) —关系概念;;关系模式的形式化定义;什么是数据依赖;关系模式StudentU, F的建立;关系模式StudentU, F的建立;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响;关系数据库设计中存在的问题(Ⅰ);关系数据库设计中存在的问题(Ⅱ);关系数据库设计中存在的问题(III);6.2 规范化;6.2.1 函数依赖;【定义6.1 】 设R(U)是一个属性集U上的关系模式， X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能 存在两个元组在X上的属性值相等， 而在Y上的属性值 不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”， 记作X→Y。;关于函数依赖的说明 ;函数依赖与联系;函数依赖示例;二、平凡函数依赖与非平凡函数依赖;三、完全函数依赖与部分函数依赖;四、传递函数依赖;6.2.2 码;外部码;6.2.3 范式;1NF;1NF的定义;6.2.4 2NF;非2NF关系模式示例;非2NF关系模式示例;SLC不是一个好的关系模式;SLC不是一个好的关系模式;关系模式SLC到2NF的分解;6.2.5 3NF;6.2.5 3NF;3NF ：2NF的分解;3NF的性质;若R∈3NF，则R的每一个非主属性不传递函数依赖于候选码;如果R∈3NF，则R∈2NF;【定义6.9】 设关系模式RU，F∈1NF，如果对于R 的每个函数依赖X→Y，若Y不属于X，则X必含有候选 码，那么R∈BCNF。 ;所有非主属性都完全函数依赖于每个候选码;若R∈BCNF ，R∈3NF;所有主属性都完全函数依赖于每个不包含它的候选码;没有任何属性完全函数依赖于非码的任何一组属性; 非BCNF示例;STJ∈3NF? (S，J)和(S，T)都可以作为候选码? S、T、J都是主属性，STJ∈3NF;BCNF：3NF的分解;6.2.7 多值依赖;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;Teaching关系模式分析;【定义6.10】设R(U)是一个属性集U上的一个关系模式， X、 Y和Z是U的子集，并且Z＝U－X－Y; 多值依赖 X→→Y成立当且仅当对R的任一关系r: r 在( X，Z )上的每个值对应一组Y的值， 这组值仅仅决 定于X值而与Z值无关 。;多值依赖的性质;多值依赖的对称性图示;6.2.8 4NF;4NF实例;6.2.9 规范化小结;规范化的基本思想;关系模式规范化的基本步骤;6.3 数据依赖的公理系统;1. Armstrong公理系统;Armstrong 推理规则证明（3-1）;Armstrong 推理规则证明（3-2）;Armstrong 推理规则证明（3-3）;2. 导出规则;导出规则的证明;3. 函数依赖闭包;F闭包计算示例;关于属性集闭包的引理;求属性集闭包的算法;y;计算XF+示例;思 考;4. Armstrong公理系统的有效性与完备性;Armstrong公理系统是有效的、完备的;5. 函数依赖集等价;6. 最小依赖集;最小依赖集示例;7. 极小化过程(2-1);极小化过程(2-2);极小化过程示例(1) (3-1); 判断B→A。 设：G3={ A→B，B→C，C→A}， 得：BG3+=BCA ∵ A?BG3+ ∴ B→A冗余 判断B→C。 设：G4={ A→B，C→A}， 得：BG4+=B ∵ C?BG4+ ∴ B→C不冗余 判断C→A。 设：G5={ A→B，B→C }， 得：CG5+=C ∵ A?CG5+ ∴ C→A不冗余 3）消除左边的冗余多属性;【例3】 F = {A→BC，B→AC，C→A} 【解】 Fm1= {A→B，B→C，C→A} ? （B→A、 A→C） Fm2= {A→B，B→A，A→C，C→A} ? （B→C） Fm1、Fm2都是F的最小依赖集。 F的最小依赖集Fm不一定是唯一的，它与