新数据库技术与应用 教学课件 张千帆 chapter5.pptVIP

5.4 关系模式的分解原则 1）无损连接性 可通过对分解后形成的关系的某种连接运算使之还原到分解前的关系。 ２）函数依赖保持性 分解过程中不能丢失或破坏原有关系的函数依赖。 关系的分解不是唯一的。 1）无损连接的分解 R(U，F)，U={A1,A2,…… An}，F是函数依赖集 ?={R1(U1，F1)，R2(U2，F2)，……RK(Uk，Fk)}是R 的一个分解，如果对于R的任一满足F的关系r都有： r=?R1(r) ?R2(r) …… ?Rk(r)=m?(r) 称?是满足F的无损连接分解。 2）函数依赖保持性的分解 R(U，F)，U={A1,A2,…… An}，F是函数依赖集， ?={R1(U1，F1)，R2(U2，F2)，……RK(Uk，Fk)}是R 的一个分解，若 F ?R1(F) U ?R2(F) U …… U ?Rk(F) 称?具有函数依赖保持性。 实例 例5-5 设有关系模式RU，F，其中U={A，B，C}，F={A→B，C→B}，判断一个分解ρ={ AC，BC}是否具有无损连接性？ 由于AC∩BC=C，BC – AC =B， 由已知条件知C→B， 故有AC∩BC→（BC – AC）。 根据无损分解的充分必要条件可以判断 ρ={ AC，BC} 是R的一个无损分解。 5.5 函数依赖的公理 1974年Armstrong总结了各种函数推理规则，并把其中最主要、最基本的作为公理，形成了著名的Armstrong公理。 在介绍Armstrong公理之前，需要先掌握逻辑蕴涵和函数依赖集合的闭包等基本概念。 1）逻辑蕴涵 给定一个关系模式，只考虑给定的函数依赖是不够的，必须找出在该关系模式上成立的其它函数依赖。 对于满足一组函数依赖F的关系模式RU，F，其任何一个关系r，若函数依赖X→Y都成立（即r中任意两元组t、s，若t[X]=s[X]，则t[Y]=s[Y]），则称F逻辑蕴涵X→Y。 例如，设F={A→B，B→C}，则函数依赖A→C被F逻辑蕴涵，记为F∣=A→C，即函数依赖F逻辑蕴涵函数依赖A→C。 2） 函数依赖集合F的闭包 设F为一个函数依赖集合，F的闭包是指F逻辑蕴涵的所有函数依赖集合。F的闭包记为F?。 例如，给定关系模式R（A，B，C，D，G，H，I），函数依赖集合F={A→B，A→C，CG→H，CG→I，B→H}，可以证明函数依赖A→H被F逻辑蕴涵。 设有元组s和t，满足s[A]=t[A]，根据函数依赖的定义，由已知的A→B，可以推出s[B]=t[B]。又根据函数依赖B→H，可以有s[H]=t[H]。因此，已经证明对任意的两个元组s和t，只要有s[A]=t[A]，就有s[H]=t[H]。所以，函数依赖A→H被F逻辑蕴涵。 2） 函数依赖集合F的闭包 计算F的闭包F?，可以由函数依赖的定义直接推导计算，但是当F很大时，计算的过程会很长。 为了从已知的函数依赖推导出其他的函数依赖，Armstrong提出了一套推理规则，称为Armstrong公理，通过反复使用这些规则，可以找出给定F的闭包F?。 3）Armstrong公理 设U为关系模式R上的属性全集，F为U上的一组函数依赖，对于关系模式RU，F有如下推理规则： （1）自反律。若属性集Y 包含于属性集X，属性集X 包含于U，则X→Y 在R 上成立 。 （2）增广律。若X→Y 在R 上成立，且属性集Z 包含于属性集U，则XZ→YZ 在R 上成立。 （3）传递律。若X→Y 和 Y→Z在R 上成立，则X→Z 在R 上成立。 （4）合并规则。若X→Y，X→Z同时在R上成立，则X→YZ在R上成立。 （5）分解规则。若X→W在R上成立，且属性集Z包含于W，则X→Z在R上也成立。 （6）伪传递规则。若X→Y在R上成立，且WY→Z，则XW→Z也成立。 4）属性集的闭包 设F是属性集U上的函数依赖集，X为U的一个子集 ，那么对于F，属性集X关于F的闭包X?为：X?= {A|X→A}能够由F根据Armstrong公理导出。 由属性集闭包的定义可知，若想判断函数依赖X→Y是否成立，只要计算X关于函数依赖集F的闭包，若Y是X闭包中的一个元素，则X→Y成立。 4）属性集的闭包 求解属性集X的闭包X?的算法如下： （1）选X作为闭包X?的初值X(0)。 （2）由X(i)计算X(i+1)时，它是由X(i)并上属性集合A所组成，其中A满足下列条件： Y?X(i)，且F中存在函数依赖Y→Z，而A?Z 因为U是有穷的，所以上述过程经过有限步之后会达到X(i)=X(i+1)，此时X(i)为所求的X?。 实例 例5-7 已知关系模式RU，F，U={A，B，C，D，E，G，H}，F={A→B，B→C，A→E，B→H，CD→G}，求关系R的码。 ①选AD为