分解成第二范式的算法