数据库保持函数依赖的分解