關系數據結構及形式化定義：
關系模型的數據結構非常簡單，只包含單一的數據結構——關系
現實世界的實體以及實體間的各種聯系均用關系來表示
- 關系的形式化定義：
- 笛卡爾積：
- 笛卡爾積可表示為一張二維表
- 表中的每行對應一個元組，元組中的一個值叫做分量
- 表中的每列對應一個域
- 關系：關系是笛卡爾積的有限子集
- 相關概念：
- 域：是一組具有相同數據類型的值的集合
- 例：整數、實數、介於某個取值范圍的整數、指定長度的字符串集合、{‘男’，‘女’}等
- 基數：一個域允許的不同取值個數
- 屬性：關系中不同列稱為屬性，每個屬性有一個名字
- 候選碼：若關系中的某以屬性組的值能唯一地標識一個元組，則稱該屬性組為候選碼
- 全碼：關系模式的所有屬性組是這個關系模式的候選碼，稱為全碼
- 主碼：若一個關系有多個候選碼，則選定其中一個為主碼
- 主屬性：候選碼的諸屬性稱為主屬性
- 非主屬性(菲碼屬性)：不包含在任何候選碼中的屬性稱為非主屬性
- 域：是一組具有相同數據類型的值的集合
- 笛卡爾積：
- 關系的類型：
- 查詢表：是查詢結果對應的表
- 視圖表：是由基本表或其他視圖表導出的表，是虛表，不對應實際存儲的數據
- 基本關系(基本表或基表)：
- 性質：
- 列是同質的（Homogeneous），即來自同一個屬性
- 不同的列可出自同一個域，稱其中的每一列為一個屬性，不同的屬性要給予不同的屬性名
- 列的順序無所謂,，列的次序可以任意交換
- 任意兩個元組的候選碼不能相同
- 行的順序無所謂，行的次序可以任意交換
- 分量必須取原子值，即每一個分量都是不可分的數據項(規范條件中最基本的一條)
- 列是同質的（Homogeneous），即來自同一個屬性
- 性質：
- 關系模式：
- 定義：關系模式是型，關系是值，關系模式是對關系的描述
- 關系模式是對關系的描述，是靜態的、穩定的
- 關系是關系模式在某移時刻的狀態或內容，是動態的、隨時間不斷變化的
- 指出關系的元組集合的結構
- 屬性構成
- 屬性來自的域
- 屬性與域之間的映像關系
- 划出完整性約束條件
- 形式化定義：R(U，D，DOM，F)
- R：關系名
- U：組成該關系的屬性名集合
- D：U中屬性所來自的域
- DOM：屬性向域的映像集合
- F：屬性間數據的依賴關系的集合
- 定義：關系模式是型，關系是值，關系模式是對關系的描述
- 關系數據庫：
- 定義：在一個給定的應用領域中，所有關系的集合構成一個關系數據庫
- 型與值：
- 型：關系數據庫模式，是對關系數據庫的描述
- 值：關系模式在某一時刻對應的關系的集合
參考-《數據系統概論(第五版)》-人民大學-王珊