第五章 關系數據庫邏輯設計

　　5.1 概述

　　5.2 基本概念

　　5.2.1 關系模型

　　1、 關系模型采用一個二維表格在計算機中組織、存儲、處理和管理數據。

　　(1) 關系名(數據庫名)：由字母數字組成;

　　(2) 屬性名;

　　(3) 關系模式和關系：描述模式描述關系的靜態結構，由模式名、關系模式所包含的屬性及屬性值所滿足的條件組成模式定義。

　　(4) 元組：描述關系中的行;

　　(5) 域：它定義關系的每個屬性取值的類型;

　　(6) 主碼：能夠惟一標識關系中每一個元組的屬性或屬性組;

　　(7) 關系的數學定義：關系模式是建立在集合集論的基礎上的，用數學的概念定義關系有;

　　(A) 定義一：域是值的集合，同一個域中的值具有相同的數據類型;

　　(B) 定義二：

　　(C) 定義三：

　　(D) 當關系引用了屬性名后關系具有以下屬性：

　　[1] 不能有重復的元組;

　　[2] 元組上下無序;

　　[3] 按屬性名引用時屬性左右無序;

　　[4] 所有屬性值都是原子項(不可再分);

　　(8) 總結：關系是一張二維表，表中的一行被稱為一個元組，一列稱為屬性，由一組域值組成。關系是元組的集合，關系中的每個元組在數學上被定義為這個關系所涉及的全部域值中笛卡兒積的一個元素。

　　5.2.2 關系數據庫

　　1、 關系數據庫是按照二維表組織和存儲的相互關聯的關系的集合，關系數據庫模式是關系模式的集合;

　　5.2.3 關系的完整性

　　1、 關系的完整性(完整性約束)：是對關系的某種約束規則和關系滿足的定義。通常這組約束規則用來限定和檢查數據庫所含實例的合法性和正確性;

　　2、 完整性約束分靜態和動態兩種，靜態完整性約束是基于關系模式的，主要有主碼、外碼約束和域約束組成;動態完整性約束是基于企業的業務規則的。

　　3、 靜態完整性約束規則：

　　(1) 主碼約束：主碼必須滿足：

　　(A) 惟一性：在一個關系中不存在兩個元組，它們具有相同的主碼值;

　　(B) 最小性：不存在從組成主碼的屬性集中去掉一個屬性，還仍能保持數據的惟一性;

　　(2) 外碼約束：

　　(3) 用戶定義的完整性：

　　5.3 關系數據庫設計理論

　　5.3.1 問題的提出

　　究竟一個關系數據庫包含哪些屬性是合理的，如何評價一個關系模式設計的優劣?