关系模式规范化过程中，若要求分解保持函数依赖，那么模式分解一定可以达到3NF，但不一定能达到( )。