下面对关系模式R(X,Y,Z)进行NF规范化的形式化描述。假设R属于1NF但不属于2NF,其中X是关键属性,Y和Z是非关键属性,并存在部分函数依赖X → Y。将X表示为X1和X2,其中X1函数依赖于Y。因此,R(X,Y,Z)可以分解为R[X1,Y]和R[X,Z]。由于X1 → Y,因此R[X1,Y]属于2NF。如果R[X,Z]也属于2NF,则可以继续按照类似的方法进行投影分解,直到所有分解都属于2NF关系集合,保证无损连接性。