易學筆記-系統分析師考試-第5章 資料庫系統/5.2 資料模型/5.2.2 關係模型
阿新 • • 發佈：2018-11-24
- 關係模式表示
- 關係表示為：R(A1,A2,A3,...An)，其中R為關係名，A為屬性名
- R可以理解為資料表，R的關係是靜態的，A的值是動態的
- 關係運算
- 並：指的是兩個關係在集合上的並集，表示為
- 差：指的是兩個關係區別的集合,表示為:
- 交：指的是兩個關係集合上的交集，表示為：
- 笛卡爾乘積：指的是兩個關係的笛卡爾乘積，表示為：
- 投影：從一個關係中抽取指明的屬性，若R為一個包含屬性A的關係，則投影表示為：
- 選擇：從關係R中抽取滿足給定條件的記錄，表示為：
- 連線：從兩個笛卡爾積中選擇屬性之間滿足一定條件的元組（元組可以理解為記錄），
- 除法運算：設有關係R（X，Y）和S（Z），如果Y和Z具有相同的屬性和屬性值，則 R（X，Y）÷S（Z）所得的結果是R在X上投影的一個子集，然後該子集與 S（Z）進行笛卡爾運算
- 舉例：
- 元組演算
- 元組演算表示式
- 元組概念：理解為記錄集合
- 元組變數
- 自由元組變數：不存在量詞或者全稱量詞
- 約束元組變數：存在量詞或者全稱量詞
- 元組表示式，表達形式為，其中t為元組變數，P為公式，也稱為謂詞
- 原子公式
- 作用：組成元組表示式
- 公式表示形式
- R（s）：R是關係名，s為元組變數（也即是屬性變數、列變數）
- s[i]u[j]，其中s和u是元組變數，是算式運算子，s[i]表示第i個分量值 ，u[j]表示第j個分量值 ，例如s[2]<u[3]表示元組s的第2個分量值小於u的第3個分量值
- 公式演變
- 關係代數表示式轉換為元組表示式