若要求分解保持函数依赖，那么模式分解一定能够达到的最高范式是