一个关系模式属于BCNF,则在函数依赖范畴已经实现了彻底的分解(  )。