[人文社科]DB第4章关系库理论.pptVIP

（P149） 例4-7 F={C→A, A→B, B→C, C→B, A→C, BC→A } 求最小依赖集G (1)F中右边化为单属性：BC→A 分解为B→A；C→A 去掉重复依赖 G={C→A, A→B, B→C, C→B, A→C, B→A } (2)去掉左边多余属性：只有一个BC→A 需要分析 ①去掉C， B→A；B+=ABC , 含A , ∴ C 多余 G1={C→A, A→B, B→C, C→B, A→C, B→A } ②去掉B， C→A；C+=ABC , 含A , ∴ B 多余 G2={C→A, A→B, B→C, C→B, A→C, C→A } (3)去掉多余函数依赖：分G1、G2两种情况 ① G1={C→A, A→B, B→C, C→B, A→C, B→A } 有多余的传递依赖 ，去掉：Fmin={C→A, A→B, B→C } （注：方法不唯一，如不去掉B→A ，而去掉 B→C也可 ） ② G2={C→A, A→B, B→C, C→B, A→C, C→A } 分析从略 例1：设F是关系模式R（ABC）的F D集， F=｛ A→BC，B→AC，C→A｝，试求Fmin。 ① 先把F中的FD分解为右边是单属性形式： F=｛ A→B，A→C，B →A ，B→C，C→A ｝ ②去掉F中冗余的函数依赖： 判断A→B，设：G1={ A→C，B→A，B→C，C→A}，得：AG1+=AC ∵ B?AG1+ ∴ A→B不冗余判断A→C，设：G2={ A→B，B→A，B→C，C→A}，得：AG2+=ABC ∵ C?AG2+ ∴ A→C冗余判断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不冗余 Fm={ A→B，B→C，C→A} 4.3 关系模式的分解* 4.3.1 模式分解问题 SC (SNo，SN，Sex，Age，Dept，CNo，Score) S (SNo,SN,Sex,Age,Dept ) SC(SNo,CNo,Score) 泛关系 分解 定义4.11 设有关系模式R(U)， R=R1∪R2∪…∪Rk， ρ={R1，R2，…，Rk} ρ称为R的一个分解，也称为数据库模式。 评价分解的两个标准： 投影连接后得到原关系 （无损连接） 函数依赖集不会改变 （保持函数依赖） 4.3.2 无损连接分解 定义4.12 设有关系模式R，F是R上的函数依赖集，ρ={ R1，R2，…，Rk } 如果对R中满足F的每一个关系r，有 r =ΠR1(r)∞ΠR2(r)∞…∞ΠRk(r) 那么就称分解ρ相对于F是“无损连接分解” ；否则称为“损失分解”。 1 2 1 1 1 1 C B A r 2 1 1 1 B A 1 1 C A 3 2 1 4 1 1 C B A r 2 1 1 1 B A 4 1 3 1 C A 4 2 1 3 1 1 3 2 1 4 1 1 C B A s 例4-10 R(A，B，C) ρ = { AB，AC} (1) F={A→C} (2) F={B→C} 1 2 1 1 1 1 C B A r 定理4.6 分解性质 （1）r mρ(r)； （2）若s=mρ(r)，则ΠRi(s)=ri； （3）mρ(mρ(r))=mρ(r)，幂等性。 连接 分解 连接 分解 其中 m=ΠR1(r)∞ΠR2(r)∞…∞ΠRk(r) （1）构造一个k行n列的表格Rρ，表中每一列对应一个属性Aj（1≤j≤n），每一行对应一个模式Ri（1≤i≤k）。如果Aj在Ri中，则在表中的第i行第j列处填上符号aj，否则填上bij。 （2）把表格看成模式R的一个关系，根据F中的每个函数依赖，在表中寻找X分量上相等的行，分别对Y分量上的每一列做修改： 如果列中有一个是aj，那么这一列上（X相同的行）的元素