通常按属性间依赖情况来区分关系规范化程度为第一范式、第二范式等。一个低一级范式的关系模式通过模式分解可以转化为若干个高一级范式的关系模式的集合,这种过程就叫规范化。一个模式中的关系模式如果都属于BCNF,那么在函数依赖范畴内它已实现了彻底的分离,已消除了插入和删除的异常。