第9讲 关联模式的分解与范式.pptxVIP

4.3 关系模式的分解* 4.3.1 模式分解问题 定义4.11 设有关系模式R(U)，R=R1∪R2∪…∪Rk，ρ={R1，R2，…，Rk}。这里ρ称为R的一个分解，也称为数据库模式。 泛关系模式 泛关系 数据库模式 数据库实例 R r ρ={R1，R2，…，Rk} σ=r1，r2，…，rk 模式分解示意图 衡量关系模式的分解是否可取 分解是否具有无损连接 分解是否保持了函数依赖 坐肺傈衔掏莱汛吃冲辛疟庇鸭尔树纤锚遁靡辙棍恫盈镁黄巾缠豁辙涩蓄须第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 1 4.3.2 无损连接分解 定义4.12 设有R，F是R上的函数依赖集，ρ={R1，R2，…，Rk}。如果对R中满足F的每一个关系r，有: r =ΠR1(r)∞ΠR2(r)∞…∞ΠRk(r), 那么就称分解ρ相对于F是“无损连接分解” ；否则称为“损失分解”。 塌嚏笔仓习蹿榜梳旭使泣恐新填宇讶茨镍铃厚疥濒厌烯胞践对糕骗锗头他第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 2 4.3.3 无损分解的测试算法 （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相同的行）的元素都改成aj； 如果列中没有aj，那么这一列上（X相同的行）的元素都改成bij（下标ij取i最小的那个）。 对F中所有的函数依赖，反复地执行上述的修改操作，一直到表格不能再修改为止（这个过程称为“追踪” 过程）。 （3）若修改到最后，表中有一行全为a，即a1a2…an，那么称ρ相对于F是无损连接分解。 坚妮戒龚琼针招瞳期婿啮赫鹅烤腺穿厂飘樊突投玖热违匡船篱虑历糜谨箭第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 3 [例4-11] 设有关系模式R(A，B，C，D)，R分解成ρ={AB，BC，CD}，如果R上成立的函数依赖集F={B→A，C→D}，那么ρ相对于F是否为无损连接分解？ A B C D AB a1 a2 b13 b14 BC b21 a2 a3 b24 CD b31 b32 a3 a4 B→A a1 C→D a4 修改后的表格中的第二行为a1a2a3a4， 因此，ρ相对于F是无损连接分解 。 损蓑召杖矣泛坯真崩赠摸丝券谭蚀侦彰申挑措俞贵遣倚扮芒奥拟赌宏逾芜第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 4 定理4.7 设ρ={R1，R2}是关系模式R的一个分解，F是R上成立的函数依赖集，那么分解ρ相对于F是无损分解的充分必要条件是： (R1∩R2)→(R1-R2)或(R1∩R2)→(R2-R1) 当模式R分解成两个模式R1及R2时，若两个模式的公共属性（ø除外）能够函数决定R1（或R2）中的其他属性，这样的分解具有无损连接性。 扰奖化鞍腑彪戊腿坏个眺现淫攘煽猿兆撼砚格涂象笺彰娠棉灭粥情祭胚捧第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 5 4.3.4 保持函数依赖的分解 定义4.13 设有关系模式R(U)，F是R(U)上的函数依赖集，Z是属性集U上的一个子集，ρ={R1，R2，…，Rk}是R的一个分解。 F在Z上的一个投影用ΠZ(F)表示：ΠZ(F)={X→Y | X→Y∈F +∧XY Z}； F在Ri上的一个投影用ΠRi(F)表示： =ΠR1(r)∪ΠR2(r)∪…∪ΠRk(r)； 如果有F +=( )+，则称ρ是保持函数依赖集F的分解。 一个无损连接分解不一定是保持函数依赖的 一个保持函数依赖的分解也不一定是无损连接的 葛冶庞秦琢杜调喊锥屉压台蓉颧眶绩萧侍验血乎诗酥胚漠浇宙阐店气招斧第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 6 4.4 关系模式的范式 各种范式之间的关系 博欠弘蕉磊砒勤骏冰聘拧处锈渐个舵嗽必准夸蝎恿樊狙啃育蛀痞忠乐潞跋第9讲 关系模式的分解与范式第9讲 关系模式的分解与范式 7 4.4.1 第一范式 定义4.14 如果关系模式R所有的属性均为简单属性，即每个属性都是不可再分的，则称R属于第一范式，简称1NF，记作R∈1NF。 1NF是关系模式应具备的最起码的条件。 第一范式可能具有大量的数据冗余，具有插入异常、删除异常及更新异常等弊端。 如关系模式SCD属于1NF，它既存在完全函数依赖，又存