【正文】 0739。 RANGE Course CX SC SCX GET W (): CX ?SCX (=∧ =) ?68 （ 10）用蘊(yùn)函（ Implication）的檢索 [例 14] 查詢最少選修了 95002學(xué)生所選課程的學(xué)生學(xué)號 。639。 RANGE SC X GET W (): ?X ( = ∧ =39。 DOWN 60 （ 4）帶定額的檢索 GET 工作空間名 （ 定額 ） （ 表達(dá)式 1） [：操作條件 ] [DOWN/UP 表達(dá)式 2] [例 5] 取出一個(gè)信息系學(xué)生的學(xué)號： GET W (1) (): =39。 πCno（ Course） ) ∞ πSno，Sname（ Student） 49 小結(jié) l 關(guān)系代數(shù)運(yùn)算 ? 關(guān)系代數(shù)運(yùn)算 （ 8種 ） 并 、 差 、 交 、 廣義笛卡爾積 、 投影 、選擇 、 連接 、 除 ? 基本運(yùn)算 （ 5種 ） 并 、 差 、 廣義笛卡爾積 、 投影 、 選擇 ? 交 、 連接 、 除 （ 3種 ） 可以用 5種基本運(yùn)算來表達(dá) 引進(jìn)它們并不增加語言的能力 ， 但可以簡化表達(dá) 50 小結(jié) (續(xù) ) l 關(guān)系代數(shù)表達(dá)式 ?關(guān)系代數(shù)運(yùn)算經(jīng)有限次復(fù)合后形成的式子 l 典型關(guān)系代數(shù)語言 ?ISBL（ Information System Base Language） ? 由 IBM United Kingdom研究中心研制 ? 用于 PRTV（ Peterlee Relational Test Vehicle）實(shí)驗(yàn)系統(tǒng) 51 第二章 關(guān)系數(shù)據(jù)庫 關(guān)系模型概述 關(guān)系數(shù)據(jù)結(jié)構(gòu) 關(guān)系的完整性 關(guān)系代數(shù) 關(guān)系演算 小結(jié) 52 關(guān)系演算 ? 關(guān)系演算 : 以 數(shù)理 邏輯 中的 謂詞演算 為基礎(chǔ) ? 種類：按謂詞變元不同分為兩類 ： 以 元組變量 作為謂詞變元的基本對象 元組關(guān)系演算語言 ALPHA ： 以 域變量 作為謂詞變元的基本對象 域關(guān)系演算語言 QBE 53 元組關(guān)系演算語言 ALPHA ? ALPHA語言由 IBM公司的 ? ALPHA主要有 6個(gè)語句： 檢索語句： GET 更新語句： PUT， HOLD， UPDATE，DELETE， DROP ? ALPHA語句的基本格式： 操作語句 工作空間名 （表達(dá)式） ：操作條件 54 一、檢索操作 ? 語句格式： GET 工作空間名 [（ 定額 ） ]（ 表達(dá)式 1） [：操作條件 ] [DOWN/UP 表達(dá)式 2] ?定額 ：規(guī)定檢索的元組個(gè)數(shù)，必須是數(shù)字 ?表達(dá)式 1：指定語句的操作對象，格式如下： 關(guān)系名 | 關(guān)系名 . 屬性名 | 元組變量 . 屬性名 | 集函數(shù) ?操作條件 ：將操作結(jié)果限定在滿足條件的元組中 ，它是邏輯表達(dá)式 ?表達(dá)式 2：指定排序方式 DOWN－降序 UP－升序 55 檢索操作 (續(xù) ) (1) 簡單檢索 (即不帶條件的檢索 ) (2) 限定的檢索 (即帶條件的檢索 ) (3) 帶排序的檢索 (4) 帶定額的檢索 (5) 用元組變量的檢索 (6) 用存在量詞的檢索 56 檢索操作 (續(xù) ) (7) 帶有多個(gè)關(guān)系的表達(dá)式的檢索 (8) 用全稱量詞的檢索 (9) 用兩種量詞的檢索 (10) 用蘊(yùn)函 （ Implication） 的檢索 (11) 集函數(shù) 57 （ 1）簡單檢索 GET 工作空間名 （ 表達(dá)式 1） [例 1] 查詢所有被選修的課程號碼 。 πSname(σCpno=39。 R與 S的除運(yùn)算得到一個(gè)新的關(guān)系 P(X)， P是 R中 滿足下列條件的元組在 X屬性列上的投影 ：元組在 X上分 量值 x的象集 Yx包含 S在 Y上投影 的集合 ， 表示如下： R247。 Sdept CS IS MA 結(jié)果： πSdept(Student) 即查詢 Student關(guān)系在 所在系 屬性上的 投影 ： 注意： 投影結(jié)果中，取消重復(fù)的元組。 ? 選擇運(yùn)算 實(shí)際上是 從關(guān)系 R 中選取使邏輯表達(dá)式 F 為真的元組。 17 例如： R的一個(gè)元組 t ： （ 1001，李明，男，信息學(xué)院） t[A] =（ 1001，李明 ） 關(guān)系 R： 學(xué)生（學(xué)號， 姓名，性別，院系 ） A = { 學(xué)號 , 姓名 }，則稱 A 為 屬性列 或 域列 。 A 則表示 { A1, A2, …, A n }中去掉 {Ai1, Ai2, …, Aik}后剩余的屬性組。} ? 這里， F 是邏輯表達(dá)式。 Sname Sdept 李勇 CS 劉晨 IS 王敏 MA 張立 IS ? [例 3] 查詢 學(xué)生的 姓名 和 所在系： 結(jié)果： π Sname， Sdept (Student) 或 π 2， 5 (Student) 31 投影（續(xù)） [例 4] 查詢學(xué)生關(guān)系 Student中都有哪些系 。 R中的 Y與 S中的 Y可以有不同的屬性名 ， 但必須出自相同 的域集 。 1）在 SC關(guān)系上把課程號 Cno＝’ 2’的元組找出來 : σCno = ‘2’ (SC) 2）再求出其在學(xué)號 Sno上的投影 : πSno (σ Cno=‘2’ (SC)) 3） πSno(σCno=‘2’(SC)) ＝｛ 95001， 95002｝ 47 綜合舉例 (續(xù) ) [例 9] 查詢至少選修了一門其直接先行課為 5號課程的學(xué)生姓名 。 (πSno， Cno（ SC） 247。CS39。 ? 定義元組變量的格式： RANGE 關(guān)系名 變量名 ? 一個(gè)關(guān)系可以設(shè)多個(gè)元組變量 62 （ 5）用 元組變量 的檢索 [ 例 7 ] 查詢信息系學(xué)生的名字 RANGE Student X GET W （ ）： ＝‘ IS’ 63 (6) 用 存在量詞 的檢索 [例 8] 查詢選修 2號課程的學(xué)生名字 。)) 前束范式形式： GET W (): ?SCX?CX (=∧ =∧ =39。) ?67 （ 9）用 兩種量詞 的檢索 ? [例 13] 查詢選修了全部課程的學(xué)生姓名 。 HOLD W (， ): =39。計(jì)算機(jī)組織與結(jié)構(gòu) 39。 DELETE W 78 刪除操作 (續(xù) ) [例 20] 將學(xué)號 95001 改為 95102。男 39。 Student Sno Sname Ssex Sage Sdept P. 李勇 IS [例 3] 求年齡大于 19歲的學(xué)生的學(xué)號 。 94 條件查詢（非條件） [例 8] 查詢未選修 1號課程的學(xué)生姓名 SC Sno Cno Grade 95001 1 ? Student Sno Sname Ssex Sage Sdept 95001 思路：顯示學(xué)號為 95001 的學(xué)生名字 ， 而該學(xué)生選修 1號課程的情況為假 （ 用邏輯非 ? 表示 ） 95 條件查詢（續(xù)） [例 9] 查詢有兩個(gè)人以上選修的課程號 SC Sno Cno Grade 95001 ? 95001 1 思路：查詢這樣的課程 1，它不僅被 95001選修，而且也被另一個(gè)學(xué)生（ ? 95001）選修 96 3. 集函數(shù) QBE語言提供的常用集函數(shù)： 函 數(shù) 名 功 能 CNT 對元組計(jì)數(shù) SUM 求 總 和 AVG 求平均值 MAX 求最大值 MIN 求最小值 97 集函數(shù)（續(xù)） [例 10] 查詢信息系學(xué)生的平均年