若要求分解保持函数依赖，那么模式分解一定能够达到_______，但不一定能够达到BCNF。