資料庫中正規化程序設計－－以矩陣法分析

Abstract

正規化程序為資料庫設計的核心工作，尤其正規化後的資料結構除了讓使用者操作起 來簡單，親切之外，更能避免資料重覆和更新異常的現象，而使得系統的使用，維護 及保全變得容易，所以正規化的觀念已普遍被接受及肯定，然而由於一般正規化分解 法過程相當冗長煩索，其關係圖格(Relational scheme) 常常會因在演算過程中靠經 驗所選用的功能相關不同而得到相異的結果，加以查詢路徑並不簡單，有時難符合真 實世界的要求，故此如何讓設計者更直覺、清晰、快速、方便、簡單地處理資料庫邏 輯設計中正規化步驟，乃為一重要的研究課題。 本文利用方陣(Square matrix) 不斷自乘具連續遞移性原理，復以筆者獨見之完整推 導法則(Complete inference rules)理論在其上可得全面性的使用，及符號辨識之巧 思，自身的必然收斂性，如此規則地迭代運作，使所有資料項目同時對應，而得滿足 3NF 及功能相關保持性的資料庫關係圖格(Relationl scheme)。對日後朝向功能相關 多且複雜的大型化資料庫系統的正規化分析，頗有助益，並且可得最小覆蓋(Minimal cover)。本文並進而嘗試解多值相關之4NF 問題，皆得完滿的結果，文中並提供一正 規化程序設計程序的設計的解釋基礎。