保持函数依赖的分解.