若要求分解既具有无损连接性，又保持函数依赖，则模式分解一定能达到