在BCNF中，所有函数依赖的左部都必须是候选键，才能保证关系模式中不存在非平凡的函数依赖。