【正文】 CREATE TABLE 關系名 （屬性名 1，屬性名 2， …… ，屬性名 n）； P17 例 關系 MOVIES的 SQL定義 P17 例 關系 MovieStar的 SQL定義 An Introduction to Database Systems 修改關系模式 ?刪除關系模式 DROP TABLE 關系名； ?修改關系模式 ? 添加屬性：添加的字段值為空值 —NULL ALTER TABLE 關系名 ADD 屬性名 屬性類型 例如， ALTER TABLE MovieStar ADD phone CHAR(16)。 An Introduction to Database Systems 鍵的聲明 ? 在 CREAT TABLE語句中聲明鍵的兩種方法 ? 當屬性被列入關系模式時，聲明其為鍵； ? 在模式聲明的項目表中增加表項，聲明一個或者一組屬性是鍵。 可以用關鍵字 UNIQUE替代 An Introduction to Database Systems 第二章 數據模型 數據模型概述 關系模型基礎 在 SQL中定義關系模式 代數查詢語言 關系上的約束 An Introduction to Database Systems ?關系操作的存取路徑對用戶隱蔽 ， 用戶只要指出“ 做什么 ” ， 不必詳細說明 “ 怎么做 ” 。 例如 ， 笛卡爾積 ， 連接 等 ? 、 、 =、 =、 ≠ 等比較運算符號； ? 與 、 或 、 非等邏輯運算符； ? 重命名操作符 ρ 。 An Introduction to Database Systems （ 2） A， t[A]， A 若 A={Ai1， Ai2， … ， Aik}，其中 Ai1， Ai2， … ， Aik是 A1，A2， … ， An中的一部分， t[A]=(t[Ai1]， t[Ai2]， … ，t[Aik])表示元組 t在屬性列 A上諸分量的集合。它是一個 n + m列的元組，前 n個分量為 R中的一個 n元組，后 m個分量為 S中的一個 m元組。 R∪ S = { t|t ? R∨ t ?S } 關系上的集合操作 An Introduction to Database Systems A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪ S An Introduction to Database Systems 2. 交（ Intersection） ?R和 S ? 屬性列表和屬性類型必須一致 ? 屬性的排列順序也要一致 ? 原則上屬性名也要對應一致，如果不一致，需要利用重命名操作處理 ?R∩S ? 由既屬于 R又屬于 S的元組組成 R∩S = { t|t ? R∧ t ?S } An Introduction to Database Systems A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R ∩ S An Introduction to Database Systems 3. 差（ Difference） ?R和 S ? 屬性列表和屬性類型必須一致 ? 屬性的排列順序也要一致 ? 原則上屬性名也要對應一致，如果不一致，需要利用重命名操作處理 ?R S ? 由屬于 R而不屬于 S的所有元組組成 R S = { t|t?R∧ t?S } R∩S = R– (RS） An Introduction to Database Systems A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S SR RS A B C a1 b3 c2 P22 例 假設關系 R和 S分別為 MovieStar的兩個關系實例，求它們的并、交、差運算結果。} ? F：選擇條件 ， 是一個邏輯表達式 ， 基本形式為： [?( ] X1θY1 [ )][φ [?( ] X2θY2 [ )]]… ? X1， Y1等：屬性名 、 常量 、 簡單函數；屬性名也可以用它的序號來代替； ? θ：比較運算符 （ ＞ ， ≥， ＜ ， ≤， ＝或 ） ? φ：邏輯運算符 （ ? 或 ∧ 或 ∨ ） ? [ ]：表示任選項 ? … ：表示上述格式可以重復下去 關系 Movies如下圖所示： σlength≥100(Movies) = 在關系 Movies中所有 Fox公式出品的至少有 100分鐘長的電影，請寫出 相應的關系代數查詢表達式。此操作僅把在 R和 S模式中有某共同屬性，且此屬性有相同值的元組配對。 當 t[X]=x時 ， x在 R中的象集 （ Images Set） 為： Zx={t[Z]|t ?R， t[X]=x} 它表示 R中屬性組 X上值為 x的諸元組在 Z上分量的集合。 R247。 S ={a1} An Introduction to Database Systems 組合操作構成查詢 ?使用組合操作生成查詢 ? 關系代數中關系操作表達式的形式不局限于兩個關系的單次操作，可以是復雜組合 ? P26 例 ，查詢由 Fox制作的至少 100分鐘的電影名稱 (title)和制作年份 (year)。 ? 用關系代數表述該引用完整性 πA (R) πB (S) 或 πA (R)πB (S) =φ P33例 例 ，約束和多個屬性同時相關 ?An Introduction to Database Systems ?鍵約束 ? A?B表示不能存在 A屬性上等值的兩個元組在 B屬性上不等值 ? 為了對應這一約束必須構造笛卡爾積 ? 例 An Introduction to Database Systems ?非引用完整性或 FD約束 ? 例 ，例 An Introduction to Database Systems ?關系約束習題 P35 ?習題 a,d ?習題