關係資料結構
二維表
- 資料的邏輯結構
- 從使用者角度，關係模型中資料的邏輯結構是一張二維表
域
一組具有相同資料型別的值的集合
笛卡爾積
給定一組 $D_1,D_2,...,D_n$
笛卡爾積為 $D_1 \times D_2\times ...\times D_n = \{(d_1,d_2,...,d_n)| d_i \in D_i, i = 1,2,...,n\}$
笛卡爾積的二位表示
笛卡爾積可表示一個二維表，表中的每行對應一個元組，表中的每列對應一個域
關係
- 單一的資料結構
- 現實世界的實體以及實體間的各種聯絡均用關係來表示
- \(D_1 \times D_2 \times ... \times D_n\) 的子集叫作在域 \(D_1,D_2,...,D_N\) 上的關係表示為 \(R(D_1,D_2,...,D_n)\) R 為關係名，n 為關係的目或度
- 關係也是一個二維表，表的每行對應一個元組，表的每列對應一個域
屬性
關係中不同列可以對應相同的域。為了加以區分，必須對每列起一個名字，被稱為屬性
碼（鍵）
由一個或多個屬性組成
候選碼
在關係中能唯一標識元組的屬性或屬性集
主屬性
候選碼的各個屬性
主碼
使用者選作元組標識的候選碼
三類關係
- 基本關係（基本表或基表）
實際存在的表，是實際儲存資料的邏輯表示 - 查詢表
查詢結果對應的表 - 檢視
由基本表或其他檢視匯出的表，是虛表，不對應實際儲存的
基本關係的性質
- 列是同質的，每一列中的分量是同一個型別的資料，來自同一個域
- 不同的列可出自同一個域，其中的每一列稱為一個屬性，不同的屬性要給予不同的屬性名
- 列的順序無所謂
- 任意兩元組不能完全相同
- 分量必須取原子值
關係模式
定義
關係模式是對關係的描述，關係模式是型，關係是值
表示
\(R(U)\) 或 \(R(A_1,A_2,...,A_n)\)
\(R\) 是關係名，\(A_1,A_2,...,A_n\) 為屬性名
關係模式和關係的對比
關係模式
- 是對關係的描述
- 靜態的、穩定的
關係
- 是關係模式在某一時刻的狀態或內容
- 冬天的、隨時間不斷變化的
關聯式資料庫
定義
在一個給定的應用領域中，所有實體及實體之間聯絡的關係的集合構成一個關聯式資料庫