关系模型课件.pptVIP

*例2.10查詢講授資料庫課程的教師姓名。ΠTN(σCN=’資料庫’(C)*ΠTNO,CNO(TC)*ΠTNO,TN(T))或ΠTN(ΠTNO(σCN=’資料庫’(C)*TC)*ΠTNO,TN(T))結果如右圖所示。TN王平劉偉張蘭*4.除法(Division)除法運算是二目運算，設有關係R（X，Y）與關係S（Y，Z），其中X，Y，Z為屬性集合，R中的Y與S中的Y可以有不同的屬性名，但對應屬性必須出自相同的域。關係R除以關係S所得的商是一個新關係P（X），P是R中滿足下列條件的元組在X上的投影：元組在X上分量值x的象集Yx包含S在Y上投影的集合。記作：R÷S={tr[X]|tr∈R∧Πy(S)?Yx}其中，Yx為x在R中的象集，x=tr[X]。除法運算為非基本運算，可以表示為：R÷S=Πx(R)－Πx(Πx(R)×S－R)*例2.11已知關係R和S，如圖2.11(a)，(b)所示，則R÷S如圖(c)所示。與除法的定義相對應，本題中X={A,B}={(a1,b2),(a2,b4),(a3,b5)}，Y={C,D}={(c3,d5),(c4,d6)}，Z={F}={f3,f4}。其中，元組在X上各個分量值的象集分別為：(a1,b2)的象集為{(c3,d5),(c4,d6)}(a2,b4)的象集為{(c1,d3)}(a3,b5)的象集為{(c2,d8)}S在Y上的投影為{(c3,d5),(c4,d6)}顯然只有(a1,b2)的象集包含S在Y上的投影，所以R÷S={(a1,b2)}*RSR÷S(a)(b)(c)圖2.11ABCDE??CDF??ABa1b2c3d5e1??c3d5f3??a1b2a1b2c4d6e1??c4d6f4????a2b4c1d3e3?????????a3b5c2d8e4?????????*除法運算同時從行和列的角度進行運算，適合於包含“全部”之類的短語的查詢。例2.12查詢選修了全部課程的學生學號和姓名。ΠSNO,CNO(SC)÷ΠCNO(C)*ΠSNO,SN(S)*關係演算是以數理邏輯中的謂詞演算為基礎的，通過謂詞形式來表示查詢運算式。根據謂詞變元的不同，可將關係演算分為元組關係演算和域關係演算。2.7.1元組關係演算語言元組關係演算是以元組變數作為謂詞變元的基本對象。元組關係演算語言的典型代表是E.F.Codd提出的ALPHA語言，這種語言雖然沒有實際實現，但較有名氣，INGRES關係資料庫上使用的QUEL語言，就是在ALPHA語言的基礎上研製的。這裏主要介紹ALPHA語言和QUEL語言2.7關係演算*2.7.1.1ALPHA語言ALPHA語言是以謂詞公式來定義查詢要求的。在謂詞公式中存在客體變元，這裏稱為元組變數。元組變數是一個變數，其變化範圍為某一個命名的關係。ALPHA語言的基本格式是：操作符工作空間名(目標表)[:操作條件]操作符有GET，PUT，HOLD，UPDATE，DELETE，DROP等到種。工作空間是指記憶體空間，可以用一個字母表示，通常用W表示，也可以用別的字母表示。工作空間是用戶與系統的通信區。目標表用於指定操作（如查詢、更新等）出來的結果，它可以是關係名或屬性名，一答操作語句可以同時對多個關係或多個屬性進行操作。*操作條件是用謂詞公式表示的邏輯運算式，只有滿足此條件的元組才能進行操作，這是一個可選項，缺省時表示無條件執行操作符規定的操作。除此之外，還可以在基本格式上加上排序要求，定額要求等。下麵以教學資料庫（圖1.12）為例，說明ALPHA語言的使用。1.數據查詢（1）簡單查詢例查詢所有學生的數據。GETW(S)GET語句的作用是把資料庫中的數據讀入記憶體空間W，目標表為學生關係S，代表查詢出來的結果，即所有的學生。冒號後面的操作條件缺省，表示無條件查詢。*例2.13查詢所有被選修的課