1. 程式人生 > >關系數據理論之第一範式

關系數據理論之第一範式

最簡 dom 有關 層次 最低要求 對象模型 color 之間 分別是

常用的數據庫的邏輯數據模型有:層次模型、網狀模型、關系模型、面向對象模型、對象關系模型;數據模型是從計算機的觀點出發對數據建模的,主要用於DBMS的實現。數據模型通常由數據結構、數據操作、完整性約束三部分組成。各個含義如下:

數據結構:描述數據庫的組成對象以及對象之間的聯系。它描述的內容有兩類:一類是與對象的類型、內容、性質有關,例如關系模型中的域、屬性、關系等;一類是與數據之間聯系有關的對象,例如網狀模型中的系型(Set Type)。數據庫系統中,人們常按照數據結構的類型來命名數據模型。

數據操作:對數據庫中各種對象(型)的實例(值)允許執行操作的集合。主要有查詢和更新等。

完整性約束:一組完整性規則。描述給定的數據模型中的數據及其關系所具有的制約和依存規則。三類完整性約束分別是:實體完整性(主鍵不能為空)、參照完整性(定義外碼和主碼之間的引用規則)、用戶自定義完整性(如某個屬性必須取唯一值、長度不超過某一範圍等)。

在關系數據庫中,關系模式是型,關系是值。關系實質是一張二維表,表的一行稱為元組,每一列稱為屬性。關系是元組的集合。規範化的關系成為範式(Normal Form),關系的描述成為關系模式,它可以形式化地表示為:R(U,D,DOM,F),各個詞的解釋如下:

R為關系名(數據庫中對應的就是一張表的表名),U為組成該關系的屬性名集合(對應數據庫表中的每一列的列名),D為屬性組U中屬性所來自的域(比如導師和研究生出的域是相同的,都是“人”這個域),DOM為屬性向域的映像集合(如:DOM(supervisor)=DOM(graduatestudent)=person),F為屬性間數據的依賴關系集合。

規範化的關系,也即範式,現在共有五個等級;其中,第一範式

是對描述關系的最低要求:每一個分量都是不可分割的數據項。簡而言之就是不能有“表中有表”的現象。

技術分享

像上面這張表就不是規範化的關系,因為它裏面含有可以分割的數據項——工資。因此,這種類型的設計在關系數據庫中是無法實現的。第一範式是最簡單、最容易理解的規範化關系。以上是學習《數據庫系統概論》的總結內容。

關系數據理論之第一範式