【正文】 ? 域關(guān)系演算的公式中可以使用 ∧ 、 ∨ 、 ┐ 和 ?運算符 。 ? 原子公式有兩種形式：vR（ x1… xk）， R是一個 k元關(guān)系 ， 每個 xi是常量或域變量 ； Calculus)類似于元組關(guān)系演算，不同之處是用域變量代替元組變量的每一個分量，域變量的變化范圍是某個值域而不是一個關(guān)系。 域關(guān)系演算 (Domainu[1]∧ w[2]=v[2])))｛ t｜(u)(S(u)∧ (v)(SC(v)∧ v[1]=’S3’=(w)(SC(w)∧ w[1]?。?t｜ (u)(v) (SC (u)∧SC(v)∧ （ u[１ ]=v[1]= v[2]≠’C2’ ） ∧t[1] =u[2] ∧t[2]= u[3]) ｝ ⑦ 檢索學(xué)習(xí)全部課程的學(xué)生姓名。=v[1]∧ t[1]=(SC⑤ 檢索至少選修課程號為 C2和 C4的學(xué)生學(xué)號。=u[1])｝ (u)∧ (u[2]=’C2’∨ u[2]=’C4’)｛ t｜ (u)=u[1]=’MATHS’=w[1]∧ C(w)∧ u[1]=v[1]｛ t｜ (u)(v)（ w） (S 這里 u[1]=v[1]是 S和 SC進(jìn)行自然連接操作的條件，在公式中不可缺少。∧ t[2]∧ v[2]=’C2’∧ u[1]=v[1]v)(S② 檢索學(xué)習(xí)課程號為 C2的學(xué)生學(xué)號與姓名 。｛ t｜ (u)(SC(u)∧ u[2]=’C2’∧ t[1]=u[1] ｛ t｜ ()(R(u)∧ t[1]=u[2]∧ t[2]=u[3])｝ =v[3])}表示。=v[1]∧ t[5]∧ t[3] 例： 設(shè)關(guān)系 R和 S都是三元關(guān)系，那么關(guān)系 R和 S的五個基本操作可直接轉(zhuǎn)化成等價的元組關(guān)系演算表達(dá)式： R∪ S可用 ｛ t|R(t)∨ S(t)｝ 表示； R–S可用 ｛ t|R(t)∧ ┐S(t)｝ 表示； RS可用 {t|(R(u)∧ S(v)∧ t[1] 2．關(guān)系代數(shù)表達(dá)式到元組表達(dá)式的轉(zhuǎn)換．關(guān)系代數(shù)表達(dá)式到元組表達(dá)式的轉(zhuǎn)換 關(guān)系代數(shù)表達(dá)式可以等價地轉(zhuǎn)換到元組表達(dá)式。加括號時，括號中運算符優(yōu)先，同一括號內(nèi)的運算符之優(yōu)先級遵循 A、 B、 C各項。量詞次之，且 ? 的優(yōu)先級高于 ? 的優(yōu)先級；? C.公式中各種運算符的優(yōu)先級從高到低依次為：? A. ④ 這兩個公式分別表示下列命題： “ 存在一個元組 s使得公式 P1為真 ” ， “ 對于所有元組 s都使得公式 P1為真 ” 。） 和 （ ? s）（ P1） 也都是公式。如果 P1是公式，那么 （ ? s）（ P1 公式中元組變量的自由約束性質(zhì)如同在 P1和 P2中一樣，仍然是自由的或約束的。② 如果 P1和 P2是公式 ， 那么 ┐ P P1∨P P1∧P 2和P1?P2也都是公式。每個原子是一個公式。“ s[i]θα ” 表示這樣一個命題 ： “ 元組 s的第 i個分量值與常量 α 之間滿足 θ 關(guān)系 ” 。s[i]θα 或 αθ u[j]。 其中 s和 u是元組變量 ， θ 是算術(shù)比較運算符 ， s[i]和 u[j]分別是 s的第 i個分量和 u的第 j個分量 (即屬性 )。② 它表示了這樣一個命題 ： “ s是關(guān)系 R的一個元組 ” 。R（ s） 。原子公式 （ Atoms） 有下列三種形式： 定義 P（ t） }表示滿足公式 P的所有元組 t的集合。}{t|Relation別稱為元組演算和域演算。關(guān)算中，就可得到以關(guān)系演算為基礎(chǔ)的運算。σsex=‘M’ （（ S）） )? 求年齡為求年齡為 18歲的人數(shù)可用式子歲的人數(shù)可用式子 count(S)（（ σage=‘18’ （（ S）））） 常用的聚集函數(shù)包括求最大值用的聚集函數(shù)包括求最大值 max、 最小值最小值min、 平均值平均值 avg、 總和值總和值 sun和計數(shù)值和計數(shù)值count等等 。聚集操作 ? 聚集操作是指輸入一個值的集合，然后根聚集操作是指輸入一個值的集合，然后根據(jù)該值集合得到一個單一的值作為結(jié)果。 GradeD. 95089 Student Sno Sname Ssex Sage SdeptI. 95701 張三 女 17 IS3. 1818+1U．9500895008 1717+1U．9500195001CS修改操作 (續(xù) ) 18 Student Sno Sname Ssex Sage SdeptU. 95001 “U.”標(biāo)明所在的行是修改后的新值。修改操作 (續(xù) )方法 (2)： U.：將操作符 “U.”放在值上Student Sno Sname Ssex Sage Sdept95001 把 95001學(xué)生的年齡改為 18歲。 男 DO（ 2） . AO（ 1） .二、修改操作[例 12]Student Sno Sname Ssex Sage Sdept 總 數(shù) 3. Grade 95001 ? Grade 95001 95001 1 SC Sno Cno注意：示例元素 Sno是連接屬性，其值在兩個表中要 相同 。 查詢計算機(jī)科學(xué)系或者年齡大于 19歲的學(xué)生的學(xué)號。條件查詢（續(xù)）[例 6] Grade 19CS 相同的示例元素值Student Sno Sname Ssex Sage Sdept 19 CS條件查詢（續(xù)） 求計算機(jī)科學(xué)系年齡大于 19歲的學(xué)生的學(xué)號。 19條件查詢（與條件）[例 4] 求年齡大于 19歲的學(xué)生的學(xué)號。[例 3]李勇 求信息系全體學(xué)生的姓名。[例 2]條件查詢(1) Student Sno Sname Ssex Sage Sdept 顯示全部數(shù)據(jù)也可以簡單地把 用在關(guān)系名上。 P. 其中＝可以省略? 排序要求1.可使用比較運算符＞， ≥，＜， ≤，＝和 ≠不用加下劃線 示例元素是這個域中可能的一個值，它不必是查詢結(jié)果中的元素? 打印操作符 P. C 李勇張立Student Sno Sname Ssex Sage Sdept Student Sno Sname Ssex Sage SdeptT Student；Student檢索操作（續(xù)）（ 4）系統(tǒng)顯示該關(guān)系的屬性名基于屏幕表格的查詢語言– 查詢要求：以填寫表格的方式構(gòu)造查詢– 用示例元素 (域變量 )來表示查詢結(jié)果可能的情況– 查詢結(jié)果：以表格形式顯示QBE操作框架Byl算 系 173。173。173。173。[DOWN/UPGETGET　 工作空間名 W在刪除操作中保持參照完整性小結(jié)：元組關(guān)系演算語言 ALPHA? 檢索操作 DELETE(Student)WHOLDWDELETE(SC)WHOLD(Student)PUT39。TO2039。MOVE男 39。MOVE39。TO9510239。MOVEWDELETE=39。將學(xué)號 95001改為 95102。刪除操作 (續(xù) )[例 20]9511039。(Student):WHOLD用 HOLD語句把要刪除的元組從數(shù)據(jù)庫中讀到工作空間中② 39。MOVETO639。MOVE39。39。插入該課程元組　　 （ 關(guān)系名 ）用宿主語言在工作空間中建立新元組② WTOIS39。 （從 Student關(guān)系中讀出 95007學(xué)生的數(shù)據(jù)）9500739。): 工作空間名修改操作 (續(xù) )UPDATE用 UPDATE語句將修改后的元組送回數(shù)據(jù)庫中]HOLD語句是帶上并發(fā)控制的 GET語句② 用 HOLD語句將要修改的元組從數(shù)據(jù)庫中讀到工作空間中HOLD插入操作(3)二、更新操作(1)=39。(AVG():W查詢信息系學(xué)生的平均年齡查詢信息系學(xué)生的平均年齡GET[例例 16]函數(shù)在計數(shù)時會自動排除重復(fù)值。COUNT()查詢學(xué)生所在系的數(shù)目。求平均值集函數(shù) (續(xù) )[例例 15]求最大值MIN 總 對元組計數(shù)TOTAL 數(shù) in))（ 11）集函數(shù)常用集函數(shù)（ Aggregation?SCY(=∧∧ 9500239。SCSCXCXCouseRANGE查詢最少選修了查詢最少選修了 95002學(xué)生所選課程的學(xué)生所選課程的學(xué)生學(xué)號。[例例 14] CX?SCX():WGETSCX查詢選修了全部課程的學(xué)生姓名。（ 9）用兩種量詞的檢索[例 13])– ??SCX(=∧∧ =39。139。WGETSCXSCRANGE查詢不選查詢不選 1號課程的學(xué)生名字。[例例 12](≥90∧∧ (，): W GET 查詢成績?yōu)椴樵兂煽優(yōu)?90分以上的學(xué)生名字與課程名字。[例例 11]639。(=∧∧ ():WGET639。?CX?SCX 用存在量詞的檢索 (續(xù) )[例例 10]查詢至少選修一門其先行課為查詢至少選修一門其先行課為 6號課程的學(xué)生名字號課程的學(xué)生名字639。?CXCXCourse查詢選修了這樣課程的學(xué)生學(xué)號，其直接查詢選修了這樣課程的學(xué)生學(xué)號，其直接先行課是先行課是 6號課程。239。():GET查詢選修查詢選修 2號課程的學(xué)生名字。用 存在量詞 的檢索[例例 8]變量名– 一個關(guān)系可以設(shè)多個元組變量 關(guān)系名 RANGE? 定義元組變量– 格式： – ② Variable）? 元組變量的用途– ① DOWNIS39。(， ):(3)查詢信息系年齡最大的三個學(xué)生的學(xué)號及其年齡，結(jié)果按年齡降序排序。[例 6]IS39。():(1)WGET表達(dá)式 2][： 操作條件 ]:（ 4）帶定額的檢索 =39。(， ):WGET 表達(dá)式 220（ 3）帶排序的檢索格式IS39。 (， ): WGET (Student)（ 2）限定的檢索格式WGET查詢所有學(xué)生的數(shù)據(jù)。[例 2] GET　 工作空間名 集函數(shù)（ 1）簡單檢索用兩種量詞的檢索(10)帶有多個關(guān)系的表達(dá)式的檢索(8)用存在量詞的檢索檢索操作 帶定額的檢索(5)限定的檢索 (即帶條件的檢索 )(3)(續(xù) )(1)元組變量 .關(guān)系名 .邏輯表達(dá)式表達(dá)式 2：指定排序方式? 格式： ]操作條件：將操作結(jié)果限定在滿足條件的元組中? 格式： [， …屬性名 |屬性名 |數(shù)字表達(dá)式 1：指定語句的操作對象? 格式：關(guān)系名 |定額：規(guī)定檢索的元組個數(shù)? 格式： [DOWN/UP[（ 定額 ） ]（ 表達(dá)式 1）GET　 工作空間名 ? 元組關(guān)系演算語言 ALPHA：? 關(guān)系演算以數(shù)理 邏輯 中的謂詞演算為基礎(chǔ)? 種類：按謂詞變元不同分類：第二章 TestKingdom研究中心研制? 用于 PRTV（ PeterleeLanguage）? 由 IBMSystem關(guān)系代數(shù)表達(dá)式– 關(guān)系代數(shù)運算經(jīng)有限次復(fù)合后形成的式子l引進(jìn)它們并不增加語言的能力，但可以簡化表達(dá)小結(jié) (續(xù) )lπSno， Sname（ Student） πCno（ Course） 查詢選修了全部課程的學(xué)生號碼和姓名。 綜合舉例 (續(xù) )[例 10]πSno， Sname (σCpno=39。πSnameπSno， Sname(Student))或 539。Student))或 539。 95001， 95002｝ 239。查詢選修了 2號課程的學(xué)生的學(xué)號。8]于是： (SC)247。(SC)95001象集 {1， 2， 3}95002象集 {2， 3}7續(xù) 1K查詢至少選修 1號課程和 3號課程的學(xué)生號碼 以學(xué)生 課程數(shù)據(jù)庫為例[例 7]={a1}R247。{(b4， c6)}　 a4的象集為 {(b1， c2)， (b2， c3)， (b2， c1)}　 a2的象集為 RS除 (續(xù) )A B Ca1 b1 c2a2 b3 c7a3 b4 c6a1 b2 c3a4