保持函数依赖的分解要求原关系中的每个函数依赖至少出现在其中一个分解后的子模式中。