6.3.3 保持函数依赖的分解