第5章关系数据库设计理论讲解.ppt

5.3.1 无损分解 1．分解的无损连接性 定义5.13 设关系模式R（U，F）上的一个分解为ρ=｛R1(U1，F1)，R2(U2，F2)，…，Rn(Un，Fn)｝，F是R（U，F）上的一个函数依赖集。如果对R中满足F的任一关系r都有 则称分解ρ相对于F是无损连接分解，简称无损分解。 * r =πR1（r）?πR2（r）? … ?πRk（r） r的投影联接表达式πR1(r)… ?πRk (r)用符号mρ (r)表示： K mρ（r）= ?πRi（r） i=1 三、无损联接的测试 算法1： 输入：关系模式R（A1,A2,…An）,R上成立的函数依赖集F， R的一个分解ρ={R1，R2，…，Rk}。 输出：判断ρ相对于F是否具有无损联接特性。 具体步骤: ①构造一张 k行n列 的表格,每列对应一个属性Aj(1≤j≤n)， 每行对应一个模式Ri(1≤i≤k)： 如果Aj在Ri中，那么在表格的第i行第 j列处填上符号aj， 否则填上符号 bij。 ②反复检查F中的每一个函数依赖,并修改表格中的元素,方法是： 取F中的一个函数依赖X→Y，如果表格中有两行在X分量上相等 ,在Y分量上不相等，那么修改Y，使这两行在Y分量上也相等。 原则：a .如果Y的分量中有一个是aj，那么另一个也修改成aj； b .如果没有aj，那么用其中一个bij替换另一个符号（尽 量把下标ij改成较小的数）。一直到表格不能修改为止 （这个过程称为Chase过程）。 ③、若修改到最后,一张表格中有一行是全a，即a1a2…an, 那么ρ相对于F是无损联接分解。 设关系模式R(ABCD)的函数依赖集为F=｛A→B，B→C，D→B｝，若将R分解成ρ1=｛AB，BC，BD｝,那么ρ1相对于F是否是无损分解，如果分解成ρ2=｛ABD，BC｝呢？ * ? A B C D AB a1 a2 b13 b14 BC b21 a2 a3 b24 BD b31 a2 b33 a4 ? A B C D AB a1 a2 a3 b14 BC b21 a2 a3 b24 BD b31 a2 a3 a4 1.A→B，没有任意两行的A值相等，不用改表格； 2.B→C，三行的B值均相等，将b13和b33更改为a3 ，； 3.D→B，没有两行的D值是相等的，不用改表格； 4. 修改后的表格没有一行全为a，所以ρ1不是无损分解 5.3.2 保持函数依赖的分解 如果关系模式在分解后不能保持函数依赖， 那么在数据库中就会出现异常现象。 所以，关系模式R到ρ={R1，R2，…，Rk}的分解， 应使函数依赖集 F 被 F 在这些Ri上的投影所逻辑蕴涵。 这就是保持函数依赖问题。 定义5.14 设有关系模式R(U，F)，U为R上的属性集，Z是U的一个子集，F是U上的一个函数依赖集。F在Z上的投影记为 πZ（F）表示： πZ（F）={X→Y | X→Y?F+ ∧ X,Y?Z} 定义5.15: 设ρ={R1,R2 , …，Rk}是关系模式R的一个分解 F是 R上的函数依赖集，如果 k ∪πRi（F） ? F i=1 称分解ρ保持函数集F。 k k 从定义一可知 F? ∪πRi（F），从定义二可知∪πRi（F）?F，