第3讲关系模式规范化理论(最新可用)汇总.pptVIP

* 关系模式的分解算法 关系模式的分解 定义: 关系模式R〈U, F〉的分解是指R为它的一组子集ρ={R1〈U1, F1〉, R2〈U2, F2〉，…，Rk〈Uk, Fk〉}所代替的过程。 其中U= Ui，并且没有Ui?Uj (1≤i，j≤k)，Fi是F在Ui上的投影，即Fi＝{X→Y｜X→Y∈F+∧XY ?Ui}。 对分解的要求： 首先我们希望分解以后信息不会丢失。即我们可从分解后的多个表中得到与SER中一样的信息，即无损连接性(lossless join)。 其次，SER的函数依赖集应与分解后的多个表的函数依赖集的集合等价，既保持依赖性(dependency preserving)。 * 无损连接 定义: 设F是关系模式R的函数依赖集，ρ＝{R1，R2，…，Rk}是R的一个分解，如果R的任一个关系r满足F，均有： 则称分解ρ具有无损连接性。 mρ(r)表示定义中的投影连接，即 或 简化为： r=mρ(r) 如果一个分解具有无损连接性，则它能够保证不丢失信息。 * 无损连接概念：如果对分解后的新关系进行自然连接得到的元组的集合与原关系完全一致，则称为无损连接（lossless join） *无损连接的充分必要条件： R1∩R2→（R1 - R2）或 R1∩R2→（R2 - R1） * SL S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04005 物理系 2号楼 关系模式SL(S#,SDEPT,SLOC)的一个投影分解： NL S# SLOC 04001 1号楼 04002 2号楼 04003 3号楼 04004 2号楼 04005 2号楼 DL SDEPT SLOC 计算机系 1号楼 信息系 2号楼 数学系 3号楼 物理系 2号楼 S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04002 物理系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04004 物理系 2号楼 04005 信息系 2号楼 04005 物理系 2号楼 增加了3个元组 * SL S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04005 物理系 2号楼 ND S# SDEPT 04001 计算机系 04002 信息系 04003 数学系 04004 信息系 04005 物理系 DL SDEPT SLOC 计算机系 1号楼 信息系 2号楼 数学系 3号楼 物理系 2号楼 S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04005 物理系 2号楼 * 保持函数依赖的分解 如果函数依赖集F上的每一个函数依赖都在其分解后的某一个关系上成立，则这个分解是保持依赖的（这是一个充分条件）。 如果一个分解保持了函数依赖，则它可以减轻或解决各种异常情况。 * 关系模式SL(S#,SDEPT,SLOC) 存在函数依赖集F={S# → SDEPT，SDEPT → SLOC} F+={S# → SDEPT,SDEPT → SLOC, S# → SLOC} SL S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04005 物理系 2号楼 NL S# SLOC 04001 1号楼 04002 2号楼 04003 3号楼 04004 2号楼 04005 2号楼 DL SDEPT SLOC 计算机系 1号楼 信息系 2号楼 数学系 3号楼 物理系 2号楼 ND S# SDEPT 04001 计算机系 04002 信息系 04003 数学系 04004 信息系 04005 物理系 DL SDEPT SLOC 计算机系 1号楼 信息系 2号楼 数学系 3号楼 物理系 2号楼 这种分解方式既没有信息丢失，又保持了原关系中的函数依赖，是理想的分解。 * 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖。同样，保持函数依赖的分解也不一定具有无损连接性。 例如： SL S# SDEPT SLOC 04001 计算机系 1号楼 04002 信息系 2号楼 04003 数学系 3号楼 04004 信息系 2号楼 04005 物理系 2号楼 NL