规范化无损分解及保持函数依赖