一个关系模式属于BCNF，则在函数依赖范畴已实现了彻底地分解。