關係規範化

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

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

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

關係規範化理論提供了判斷關係邏輯模式優劣的理論標準，幫助預測模式可能出現的問題，是產生各種模式的算法工具，因此是設計人員的有力工具。