模式分解的无损连接性之深入剖析

1.无损连接分解的形式定义

  无损连接分解的形式定义如下:设R是一个关系模式,FR上的一个函数依赖(FD)集。R分解成数据库模式δ={R1,……,Rk}。如果对R中每一个满足F的关系r都有下式成立:

  那么称分解δ相对于F无损连接分解,否则称为损失连接分解。其中表示自然连接。

  从上述形式定义中可知,若直接根据定义来判断某个分解是否具有无损连接性,那么就得R中每一个满足F的关系r”进行测试,看是否满足上面的等式,这显然不可操作,因为R中每一个满足F的关系r”进行测试就意味着R中所有满足F的关系r”进行测试,显然是不可能的。这里所说的关系就是指一张具体的表。

  因此,必须寻求其它的可操作性方法来判别分解的无损连接性。

2.无损连接分解的普通判别方法——表格法

  设关系模式R=A1,…,AnR上成立的FDFR的一个分解p={R1,…,Rk}。无损连接分解的判断步骤如下:

  (1)构造一张kn列的表格,每列对应一个属性Aj(1≤j≤n),每行对应一个模式Ri(1≤i≤k)。如果AjRi中,那么在表格的第i行第j列处填上符号aj,否则填上符号bij

  (2)把表格看成模式R的一个关系,反复检查F中每个FD在表格中是否成立,若不成立,则修改表格中的元素。修改方法如下:对于F中一个FDX→Y,如果表格中有两行在X分量上相等,在Y分量上不相等,那么把这两行在Y分量上改成相等。如果Y的分量中有一个是aj,那么另一个也改成aj;如果没有aj,那么用其中的一个bij替换另一个(尽量把ij改成较小的数,亦即取i值较小的那个)

  若在修改的过程中,发现表格中有一行全是a,即a1,a2,…,an,那么可立即断定p相对于F是无损连接分解,此时不必再继续修改。若经过多次修改直到表格不能修改之后,发现表格中不存在有一行全是a的情况,那么分解就是有损的。特别要注意,这里有个循环反复修改的过程,因为一次修改可能导致表格能继续修改。

  修改过程中要特别注意,若某个bij被改动,那么它所在列的所有bij都需要做相应的改动。为了明确这一点,举例说明。例如,我们根据FD“H→I”“ K→L”来修改表格之前时的表格如表1所示(已经过多次修改,非初始表,空的单元表示省略)

  表1

        

   H 

      I    

   J    

    K   

   L     

R1

 

b12

 

 

b35

R2

a1

a2

 

a4

b25

R3

a1

b12

 

a4

b35

R4

 

b12

 

 

b35

  R2R3所在行的H分量都为a1,根据FD“H→I”,需要修改这两行对应的I分量,而R2所在行的I分量为a2,因此,要将R3所在行的I分量b12修改为a2,注意到,R1R4所在行的H分量也为b12,因此,这两行对应的I分量也必须修改为a2R2R3所在行的K分量都为a4,根据FD“K→L”,需要修改这两行对应的L分量,于是将R3所在行的L分量b35修改为较小的b25,同时注意到,R1R4所在行的L分量也为b35,因此,这两行对应的L分量也必须修改为b25。修改后的表格如表2所示:

  表2

       

  H 

  I 

  J 

  K 

   L    

R1

 

a2

 

 

b25

R2

a1

a2

 

a4

b25

R3

a1

a2

 

a4

b25

R4

 

a2

 

 

b25

  【例题】(软件设计师2002年上午试题38)

  设关系模式 R R(H,I,J,K,L)R上的一个函数依赖集为 F={H→J,J→K,I→J,JL→H},分解 (38) 是无损连接的。

  供选择的答案:

  (38) A. p={HKHIIJJKLHL} B. p={HILIKLIJL}

  C. p={HJIKHL} D. p={HIJKHL}

  试题分析:

  根据上述判断方法,我们列出选项B(分解成三个关系模式R1(HIL)R2(IKL)R3(IJL) )的初始表如表3所示:

  表3选项B的初始表

         

   H 

   I  

    J  

    K  

   L 

HIL

a1

a2

b13

b14

a5

IKL

b21

a2

b23

a4

a5

IJL

b31

a2

a3

b34

a5

  对于函数依赖集中的H→JJ→K对表3进行处理,由于属性列H和属性列J上无相同的元素,所以无法修改。但对于I→J在属性列I上对应的123行上全为a2元素,所以,将属性列J的第一行b13和第二行b23改为a3。修改后如表4所示:

 

4选项B的中间表

          

     H  

   I 

   J 

    K 

    L 

HIL

a1

a2

a3

b14

a5

IKL

b21

a2

a3

a4

a5

IJL

b31

a2

a3

b34

a5

  对于函数依赖集中的JL→H在属性列JL上对应的123行上为a3a5元素,所以,将属性列H的第二行b21和第三行b31改为a1。修改后如表5所示:

  表5选项B的结果表

          

   H  

    I  

    J  

    K  

   L  

HIL

a1

a2

a3

b14

a5

IKL

a1

a2

a3

a4

a5

IJL

a1

a2

a3

b34

a5

  从表5可以看出,第二行为a1a2a3a4a5,所以分解p是无损的。

  有一种特殊情况要注意:分解后的各个关系模式两两均无公共属性。由于是模式分解,那么任一一个分解后的关系模式覆盖的属性集不可能是分解前的整个全部属性U,因此初始表中不存在全是a的行。又注意到,分解后的各个关系模式两两均无公共属性,表明任两行在任一列上都没有相同的分量,这导致整个表格无法修改,保持初始状态。而初始状态不存在全是a的行,因此这种特殊情况的分解是有损的。

  例如,函数依赖集合FD,将关系模式R(ABCDEF)分解成R1(AB)R2(CDE)R3(F),那么这种分解肯定是有损的。考试中可能碰到这种情况,那么一眼就可以判断出结果,从而节省了时间。

  3.无损连接分解的快捷判别方法

  首先要申明,这种快捷方法是有前提的,前提就是分解后的关系模式只有两个。其内容为:

  设ρ={R1R2}是R的一个分解,FR上的FD集,那么分解ρ相对于F是无损分解的充分必要条件是:(R1∩R2)→(R1–R2)(R1∩R2)→(R2–R1)。这个字很重要,这里表示(R1∩R2)→(R1–R2)(R1∩R2)→(R2–R1)中只要有一个成立就行。这里的求交和相减运算的对象是关系模式的属性。

  【例题】

  关系模式R(UF),其中U={W,X,Y,Z},F={WX→Y,W→X, X→Z,Y→W}。那么下列分解中是无损分解的是

  供选择的答案:

  A.p={R1(WY),R2(XZ)} B.p={R1(WZ),R2(XY)}

  C.p={R1(WXY),R2(XZ)} D.p={R1(WX),R2(YZ)}

  试题分析:

  A选项,R1∩R2为空,肯定不满足条件。

  B选项,R1∩R2为空,肯定不满足条件。

  C选项,R1∩R2={X}R1-R2={WY}R2-R1={Z},根据函数依赖集,X→Z成立,所以满足条件。

  D选项,R1∩R2为空,肯定不满足条件。

  4.总结

  模式分解无损性判别的源泉仍然是普通的表格法。这种快捷方法只不过是根据这种表格法推断出来的而已,是它的一个特列。但是这种快捷方法却往往非常有用。

 

 
 
 
 
修改表的目标就是扩展某一个子关系(属性闭包)一直达到它能蕴涵所有的属性为止,对于其中主要几点操作,下面是我的一点理解:
1、选取相应属性列X具有相同符号的两行或者更多行是为了保证在扩展时(例如A->B),不仅要F中存在A->B,而且需要保证B存在与其它的已扩展的闭包中,所以至少需要两行。
2、相应行扩展Y时若存在aj则其他bij换为aj,目的是扩展一个属性;若无则bij转换为bmj,m为这些行的最小行(或者最大,符合人的思考习惯),由于该属性不能保证在其它关系的闭包中,所以此时显然不能扩展,但可以做下标记,将该列所有和bij相同的符号一起变化为bmj,目的是便于以后同时扩展。
 
 
 

 

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值