数据库系统概论课件第六章关系数据理论幻灯片.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * An Introduction to Database System 7. 极小化过程 定理6.3 每一个函数依赖集F均等价于一个极小函数依赖 集Fm。此Fm称为F的最小依赖集。 证明: 构造性证明，找出F的一个最小依赖集。 An Introduction to Database System 极小化过程（续） (1)逐一检查F中各函数依赖FDi：X→Y，若Y=A1A2 …Ak，k 2， 则用 { X→Aj |j=1，2，…， k} 来取代X→Y。 (2)逐一检查F中各函数依赖FDi：X→A，令G=F-{X→A}， 若A?XG+， 则从F中去掉此函数依赖。 (3)逐一取出F中各函数依赖FDi：X→A，设X=B1B2…Bm， 逐一考查Bi （i=l，2，…，m），若A ?（X-Bi ）F+ ， 则以X-Bi 取代X。 An Introduction to Database System 极小化过程（续） [例3] F = {A→B，B→A，B→C，A→C，C→A} Fm1、Fm2都是F的最小依赖集： Fm1= {A→B，B→C，C→A} ? Fm2= {A→B，B→A，A→C，C→A} F的最小依赖集Fm不唯一 极小化过程( 定理6.3的证明 )也是检验F是否为极小依赖集的一个算法 An Introduction to Database System 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 An Introduction to Database System 6.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法不是唯一的 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义 An Introduction to Database System 关系模式分解的标准 三种模式分解等价的定义： ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖，又要具有无损连接性 An Introduction to Database System 模式的分解（续） 定义6.16 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} U= ∪Ui，且不存在 Ui ? Uj，Fi 为 F在 Ui 上的投影 定义6.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 i=1 n An Introduction to Database System 模式的分解（续） 例：S-L（Sno， Sdept， Sloc） F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} S-L∈2NF 分解方法可以有多种： 1. S-L分解为三个关系模式：SN(Sno) SD(Sdept) SO(Sloc) 2. SL分解为下面二个关系模式： NL(Sno, Sloc) DL(Sdept, Sloc) 3. 将SL分解为下面二个关系模式： ND(Sno, Sdept) NL(Sno, Sloc) An Introduction to Database System 具有无损连接性的模式分解 关系模式RU,F的一个分解 ρ={ R1U1,F1，R2U2,F2， …，RnUn,Fn} 若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性（Lossless join） 具有无损连接性的分解保证不丢失信息 无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题 An Introduction to Database System 模式的分解（续） 第3种分解方法具有无损连接性 问题:这种分解方法没有保持原关系中的函数依赖 SL中的函数依赖Sdept→Sloc没有投影到关系模式ND、NL上 An I