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

【参考答案】

BCNF 或 Boyce-Codd 范式