将一个关系模式通过模式分解(schema decomposition)从相对较低的范式转换为相对较高的一个或多个关系模式的过程叫做规范化(normalization)。
一个关系表的关系模式通常表示为 R ( U , D , D O M , F ) R(U, D, DOM, F) R(U,D,DOM,F),这里为了方便也可以简写成 R ( U , F ) R(U, F) R(U,F) 或 R ( A 1 , ⋯ , A n ) R(A_1,\cdots,A_n) R(A1,⋯,An),其中 U U U 表示属性全集, F F F 表示数据依赖全集, D D D 表示 U U U 中属性所来自的域, A i A_i Ai 表示属性.
对于关系模式的规范化,如果只考虑函数依赖,那么满足 BCNF 的模式的规范化程度已经是最高的了(而 3NF 存在通用的保持函数依赖的算法);如果考虑多值依赖,那么满足 4NF 的模式的规范化程度则是最高的;如果只考虑无损连接分解,那么 5NF 是规范度最高的。