數據庫系統概論（第二章關係數據庫）

第2章 關係數據庫

2.1 關係數據結構及形式化定義

2.1.1關係

1. 域：域是一組具有相同數據類型的值的集合。
2. 笛卡兒積：域上的一種集合運算
3. 候選碼：某一屬性組的值能唯一地標識一個元組，而其子集不能，則稱該屬性組爲候選碼(candidate key)
4. 主碼：若一個關係有多個候選碼，則選定其中一個爲主碼(primary key)
5. 主屬性(prime attribute)：候選碼的諸屬性稱爲（主屬性）
6. 非主屬性：不包含在任何候選碼中的屬性
7. 全碼(all key)：關係模式的所有屬性是這個關係模式的候選碼

關係可以有三種類型：基本關係（通常又稱爲基本表或基表）、查詢表和視圖表

• 基本表是實際存在的表，
• 查詢表是查詢結果對應的表，
• 視圖表是由基本表和其他視圖表導出的表，是虛表，不對應實際存儲的數據

組成笛卡爾積的域不滿足交換律

基本關係具有以下6個性質：

• 1、列是同質的，即每一列中的分理是同一類型的數據，來自同一域。
• 2、不同的列可出自同一個域，稱其中的每一列爲一個屬性，不同的屬性要給予不同的屬性名。
• 3、列的順序無所謂，即列順序是無關緊要的
• 4、任意兩個 元組的候選碼不能取相同的值
• 5、行的順序無所謂，即行的順序可以任意交換。
• 6、分量必須取原子值，即每一個分量都必須是不可分的數據項

最基本的一條：關係的每一個分量必須是一個不可分的數據項

 

2.1.2關係模式

關係的描述稱爲關係模式