關係資料理論

1.關係模式： 關係模式是個五元組，其中兩項對模式設計關係不大，可以用一個三元組來表示，R< U, F>.

           U是一組屬性， F是屬性U上的一組資料依賴。

                 當U上的一個關係r滿足F時，r稱為關係模式R<U,F>的一個關係。

2.1NF(一正規化)-- 也是一張二維表最起碼的要求，每個分量也 就是屬性是不可在分的資料項。

    3.函式依賴：一個屬性確定後，另個屬性也被確定。身份證號確定後就能確定你的姓名，就是姓名函式依賴與身份證號。

   4.多值依賴：多個屬性才能確定一個屬性的叫多值屬性。

 5.非平凡函式依賴：

    6.完全函式依賴： Y依賴於X， 若對於X的任意子集X‘，都沒有Y依賴於X’，則稱完全函式依賴

   7.部分函式依賴： 若不是完全函式依賴，就是部分函式依賴。

   8. 設K為R<U,F>中的屬性或屬性組合，若K→U(U完全依賴與K)，則K為R的候選碼.若候選碼多於一個，則選定其中一個為主碼

   9. 包含在任意一個候選碼中的屬性叫主屬性。不被包含的稱為非主屬性。

10.  2NF(二正規化)  每一個非主屬性完全函式依賴與碼。

   11.  2正規化產生的問題： 插入異常，刪除異常， 修改複雜。

12.  3NF(三正規化

13．  BCNF正規化 關係模式中，每一個決定因素都包含碼。

14.  4NF(4正規化) 限制關係模式的屬性之間不允許有非平凡非函式依賴的多值依賴。用投影的方法消除多值依賴。