關係模式設計理論

3.1:關係模式的設計準則

       模式設計中主要包括三個方面的內容：

       資料依賴：研究資料之間的關係；

範式：關係模式的標準；

模式設計方法：自動化設計的基礎；

      

       3.1.1：關係模式的傭餘和異常問題；

              資料傭餘是指同一個資料在系統中多次重複出現；

              當“關係模式用傭餘問題就分解它“

             

       3.1.2：關係模式的四個非形式化設計準則；

1）關係模式的設計應儘可能只包含有直接聯絡的屬性，不要包含有間接聯絡的屬性；

2）關係模式的設計應儘可能使得相應關係中不出現插入、刪除和修改等操作異常現象；

3）關係模式的設計應儘可能使得相應關係中避免放置經常為空白值的屬性；

4)關係模式的設計應儘可能使得關係的等值串連在主鍵和外鍵的屬性上進行，並且保證串連以後不會產生額外的元組；

 

3.2：函數依賴（FD）;

       3.2.1：FD的定義

              設有關係模式R，X和Y是屬性集U的子集，函數依賴是形為X->Y的一個命題，

              只要r是R的當前關係，對r中任意兩個元組t和s，都有t[X]=s[X]，蘊涵t[Y]=s[Y],

              那麼稱FD X->Y在關係模式R（U）中成立；

 

       3.2.2：FD的邏輯蘊涵；FD集的閉包；

定義：設F是關係模式R上成立的函數依賴的集合，X->Y是一個函數依賴，如果對於R的每個滿足F的關係r也滿足X->Y,那麼稱F邏輯蘊涵X->Y，記為F|=X->Y。

定義：設F是函數依賴集，被F邏輯蘊涵的函數依賴全體構成的集合，稱為函數依賴集F的閉包；

F*={X->Y|F=|X->Y}

 

       3.2.3：FD的推斷規則；

       3.2.4：FD和關鍵碼的聯絡；

       3.2.5：屬性集的閉包；

       3.2.6：FD集的等價，FD集的最小依賴集；

 

3.3：關係模式的分解特性；

       3.3.1：關係模式的分解；

       3.3.2：無損分解的定義；

       3.3.3：模式分解的優缺點；

       3.3.4：無損分解的測試方法；

       3.3.5：保持FD的分解；

       3.3.6：模式分解與模式等價問題；

 

3.4：範式

       3.4.1：1NF的定義；

       3.4.2：2NF的定義；

       3.4.3：3NF的定義；

       3.4.4：BCNF的定義；

       3.4.5：分解成BCNF模式集的“分解演算法“

       3.4.6：分解成3NF模式集的“合成演算法“

       3.4.7：模式設計方法小節

 

3.5：多值依賴和第四範式

       3.5.1：多值依賴

       3.5.2：關於FD和MVD的推斷規則集；

       3.5.3：第四範式；