【正确答案】 1、BCNF 或 Boyce-Codd 范式    

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