参考答案：BCNF 或 Boyce-Codd 范式

解析：关于模式分解的几个事实：1、分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。关系模式的一个分解可能具有无损连接性，可能是保持函数依赖的，也可能是既具有无损连接性又保持函数依赖的。2、若要求分解具有无损连接性，那么模式分解一定可以达到 BCNF。3、若要求分解保持函数依赖，那么模式分解可以达到 3NF，但不一定能达到 BCNF。4、若要求分解既具有无损连接性，又保持函数依赖，则模式分解可以达到3NF，但不一定能达到BCNF。