關係規範化

規範化理論是資料庫邏輯設計的指南和工具，具體步驟如下：

（1）考察關係模型的函式依賴關係，確定範式等級。逐一分析各關係模式，考察是否存在部分函式依賴、傳遞函式依賴等，確定它們分別屬於第幾範式。

（2）對關係模式進行合併或分解。根據套用要求，考察這些關係模式是否合乎要求，從而確定是否要對這些模式進行合併或分解，例如，對於具有相同主碼的關係模式一般可以合併；對於非BCNF的關係模式，要考察“異常弊病”是否在實際套用中產生影響，對於那些只是查詢，不執行更新操作，則不必對模式進行規範化（分解），實際套用中並不是規範化程度越高越好，有時分解帶來的消除更新異常的好處與經常查詢需要頻繁進行自然連線所帶來的效率低相比會得不償失。對於那些需要分解的關係模式，可以用規範化方法和理論進行模式分解。最後，對產生的各關係模式進行評價、調整，確定出較合適的一組關係模式。