一个关系模式属于BCNF,则在函数依赖范畴已实现了彻底地分解。
出自:计算机科学