转换成3NF的保持无损链接和函数依赖的分解算法
算法3:ide
例2:关系模式R<U,F>,其中:U={C,T,H,R,S,G},函数
F={CS→G,C→T,TH→R,HR→C,HS→R},分解成3NF并保持无损链接和函数依赖。it
解:(1) 根据上例例1,获得3NF并保持函数依赖的分解以下:class
σ={ R1(CSG),R2(CT),R3(THR),R4(HRC),R5(HSR) }。im
(2) 而HS是原模式的关键字,因此τ={CT,CSG,CHR,HSR,HRT,HS}。因为HS是模式HSR的一个子集,因此消去HS后的分解{CT,CSG,CHR,HSR,HRT}就是具备无损联接性和保持函数依赖性的分解,且其中每个模式均为3NF。img