数据库模式的分解.pptVIP

6.4 模式的分解 模式分解是提高关系模式规范化程度的主要途径。 主要内容： 模式分解的三个定义 分解的无损连接性和保持函数依赖性 模式分解算法 泛关系假设：在进行模式分解时，我们总是假设存在着一个单一的关系模式，并从这个关系模式出发，而不是从一组关系模式出发实行分解。然后讨论这个关系模式与分解后的一组关系模式之间的等价问题。 模式的分解 定义6.16 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} U=U1∪U2∪…∪Un，且不存在 Ui ? Uj，Fi 为 F在 Ui 上的投影。 定义6.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 例：将R=(ABCD,{A→B,B→C,B→D,C→A})分解为关于U1=AB，U2=ACD 两个关系,求R1,R2。 解：R1=(AB,{A→B,B→A}) R2=(ACD,{A→C,C→A,A→D}) 要注意： F 在属性 Ui 上的投影，不仅要包括已知的函数依赖，而且还要包括为F所逻辑蕴含的函数依赖。 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义 关系模式分解的标准 三种模式分解的等价定义 ⒈ 分解具有无损连接