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