以下哪一项是关系模式设计中用于消除数据冗余的正常化形式？

BCNF是在第三范式基础上进一步消除传递依赖的范式，用于彻底消除数据冗余，是逻辑结构设计的重要目标。