转换成3NF的保持无损连接和函数依赖的分解

转换成3NF的保持无损连接和函数依赖的分解

 

算法3：

    

例2：关系模式R<U,F>，其中：U={C,T,H,R,S,G}，

F={CS→G,C→T,TH→R,HR→C,HS→R}，分解成3NF并保持无损连接和函数依赖。

 

解：(1) 根据上例例1，得到3NF并保持函数依赖的分解如下：

      σ={ R1(CSG),R2(CT),R3(THR),R4(HRC),R5(HSR) }。

(2) 而HS是原模式的关键字，所以τ={CT，CSG，CHR，HSR，HRT，HS}。由于HS是模式HSR的一个子集，所以消去HS后的分解{CT，CSG，CHR，HSR，HRT}就是具有无损联接性和保持函数依赖性的分解，且其中每一个模式均为3NF。