转换成3NF的保持函数依赖的分解算法:
ρ={R1,R2,...,Rk}是关系模式R的一个分解,U={A1,A2,......并且,每个Ri(Ui,Fi)均属于3NF且保持函数依赖。
对于步骤1中函数集的极小化处理可以参见博客 http://i.cnblogs.com/PostDone.aspx?...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中去掉。