1. 程式人生 > >資料庫系統概論——關係資料理論與資料庫設計

資料庫系統概論——關係資料理論與資料庫設計

資料庫系統概論——關係資料理論與資料庫設計

一、關係規範化理論研究的實際背景

        1.關係模式:R(U,D,DOM,F)

        R是關係名;U是一組屬性;D是屬性組U中的屬性所來自的域;DOM是屬性到域的對映;F為屬性組U上的一組資料依賴。

         R<U,F>當且僅當U上的一個關係r滿足F時,r稱為關係模式R<U,F>的一個關係。作為一個二維表,關係要符合一個最基本的條件:每一個分量必須是不可分的資料項。滿足這個條件的關係模式就屬於第一正規化(1NF)。

         2.資料依賴

         是一個關係內部屬性與屬性之間的一種約束關係。這種約束關係是通過屬性間值的相等與否體現出來的資料間相關聯絡。

         函式依賴(FD)和多值依賴(MVD)。

         一個好的模式應當不會發生插入異常、刪除異常、更新異常和資料冗餘應儘可能少。

二、規範化

        1.函式依賴

           平凡函式依賴:

           非平凡函式依賴:

           完全函式依賴:

           部分函式依賴:

           傳遞函式依賴:

        2.碼

           (1)候選碼:

                    超碼:

           (2)主碼:

                   主屬性:

                   非主屬性:

                   全碼:

        3.正規化

                關係資料庫中的關係是要滿足一定要求的,滿足不同程度要求的為不同正規化。

                一個低一級正規化的關係模式通過模式分解可以轉換為若干個高一級正規化的關係模式的集合,這種過程叫規範化。

               (1)1NF

               (2)2NF

               (3)3NF

               (4)BCNF

               (5)多值依賴: 

                        性質:

               (6)4NF

三、資料依賴的公理系統

           1.Armstrong公理

四、模式等價和模式分解