转换成3NF的保持函数依赖的分解算法:
ρ={R1,R2,...,Rk}是关系模式R的一个分解,U={A1,A2,......,于是构成的一个保持函数依赖的分解。并且,每个Ri(Ui,Fi)均属于3NF且保持函数依赖。...postid=4445027&actiontip
例1:关系模式R,其中U={C,T,H,I,S,G},F={CS→G,C→T,TH→I,HI→C,HS→I},将其分解成3NF并保持函数依赖。...故C→T不是冗余的函数依赖,不能从F2中去掉。...故HS→I不是冗余的函数依赖,不能从F5中去掉。