??? 關(guān)系代數(shù)是關(guān)系數(shù)據(jù)庫系統(tǒng)查詢語言的理論基礎(chǔ)
?
一、關(guān)系代數(shù)的9種操作：
?
??? 關(guān)系代數(shù)中包括了：并、交、差、乘、選擇、投影、聯(lián)接、除、自然聯(lián)接等操作。
?
五個基本操作：
??? 并(∪)、差(-)、笛卡爾積(×)、投影(σ)、選擇(π)
?
四個組合操作：
??? 交(∩)、聯(lián)接(等值聯(lián)接)、自然聯(lián)接(R
S)、除法(÷)
注2：等值連接表示先做笛卡爾積(×)之后，對相應(yīng)列進行選擇或等值關(guān)聯(lián)后的結(jié)果(僅篩選行、不篩選列)
注2：自然連接表示兩個關(guān)系中若有相同名稱的屬性，則自動作為關(guān)聯(lián)條件，且僅列出一列
?
?
二、關(guān)系代數(shù)表達(dá)式：
?
??? 由關(guān)系代數(shù)運算經(jīng)有限次復(fù)合而成的式子稱為關(guān)系代數(shù)表達(dá)式。這種表達(dá)式的運算結(jié)果仍然是一個關(guān)系。可以用關(guān)系代數(shù)表達(dá)式表示對數(shù)據(jù)庫的查詢和更新操作。
?
?
三、舉例說明：
?
??? 設(shè)教學(xué)數(shù)據(jù)庫中有3個關(guān)系：
??? 學(xué)生關(guān)系S(SNO,SNAME,AGE,SEX)
??? 學(xué)習(xí)關(guān)系SC(SNO,CNO,GRADE)
??? 課程關(guān)系C(CNO,CNAME,TEACHER)
?
?
(1) 檢索學(xué)習(xí)課程號為C2的學(xué)生學(xué)號與成績
------------------------------------
SELECT SNO,GRADE
? FROM SC
?WHERE CNO='C2'
------------------------------------
π
SNO,GRADE(σCNO='C2'(SC))
************************************
?
?
(2) 檢索學(xué)習(xí)課程號為C2的學(xué)生學(xué)號與姓名
------------------------------------
SELECT SC.SNO,S.SNAME
? FROM SC,S
?WHERE SC.SNO=S.SNO
?? AND SC.CNO='C2'
------------------------------------
π
SNO,SNAME(σCNO='C2'(SSC))
此查詢涉及S和SC，先進行自然連接，然后再執(zhí)行選擇投影操作。
----
π
SNO,SNAME（S）（πSNO(σCNO='C2'(SC))）
自然連接的右分量為"學(xué)了C2課的學(xué)生學(xué)號的集合"。
此表達(dá)式比前一個表達(dá)式優(yōu)化，執(zhí)行起來要省時間、省空間。
************************************
?
?
(3) 檢索選修課程名為MATHS的學(xué)生學(xué)號與姓名
------------------------------------
SELECT SC.SNO,S.SNAME
??FROM SC,S,C
?WHERE SC.SNO=S.SNO
?? AND SC.CNO=C.CNO
?? AND C.CNAME='MATHS'
------------------------------------
π
SNO,SANME(σCNAME='MATHS'(SSCC))
************************************
?
?
(4) 檢索選修課程號為C2或C4的學(xué)生學(xué)號
------------------------------------
SELECT SNO
? FROM SC
?WHERE CNO='C2'
??? OR CNO='C4'
------------------------------------
π
SNO(σ CNO='C2'∨CNO='C4'(SC))
************************************
?
?
(5) 檢索至少選修課程號為C2或C4的學(xué)生學(xué)號
------------------------------------
SELECT SA.SNO
? FROM SC AS SA,SC AS SB
?WHERE SA.SNO=SB.SNO
?? AND SA.CNO='C2'
?? AND SB.CNO='C4'
------------------------------------
π
1(σ1=4∧2='C2'∧5='C4'（SC×SC）)
************************************
?
?
(6) 檢索不學(xué)C2課的學(xué)生姓名與年齡
------------------------------------
SELECT SNAME,AGE
? FROM S
MINUS
SELECT S.SNAME,S.AGE
? FROM SC,S
?WHERE SC.SNO=S.SNO
?? AND SC.CNO='C2'
(Oracle)
------------------------------------
π
SNAME,AGE（S）－πSNAME,AGE(σCNO='C2'（SSC）)
************************************
?
?
(7) 檢索學(xué)習(xí)全部課程的學(xué)生姓名
------------------------------------
這個定義用SQL表示比較麻煩，略過
------------------------------------
π
SNO,CNO(SC)÷πCNO(C)
先用除法取出選取所有課程的SNO集(除法可以理解為一個Filter)
π
SNAME(S? (πSNO,CNO(SC)÷πCNO(C)))
再關(guān)聯(lián)S表取出SNAME
************************************
?
?
(8) 檢索所學(xué)課程包含S3所學(xué)課程的學(xué)生學(xué)號
------------------------------------
這個定義用SQL表示比較麻煩，略過
------------------------------------
π
SNO,CNO(SC)÷?πCNO(σSNO='S3'(SC)）
同樣運用了除法的特性
************************************
?
?
(9) 將新課程元組('C10','PHYSICS','YU')插入到關(guān)系C中
------------------------------------
INSERT INTO C VALUES('C10','PHYSICS','YU')
------------------------------------
(C∪('C10','PHYSICS','YU'))
記住該符號的用法
************************************
?
?
(10) 將學(xué)號S4選修課程號為C4的成績改為85分
------------------------------------
UPDATE SC SET GRADE=85
?WHERE SNO='S4'
?? AND CNO='C4'
------------------------------------
（SC－（'S4','C4',?)∪('S4','C4',85)）
先用'－'實現(xiàn)DELETE功能，再用'∪'實現(xiàn)INSERT功能
注意使用?來表示檢索時忽略該字段值
************************************
?
?
四、關(guān)系代數(shù)表達(dá)式的優(yōu)化：
?
?
? 目的：為了系統(tǒng)在執(zhí)行時既省時間又能提高效率。
? ? 基本策略：先做選擇，運用投影去除多余屬性等等。
? ? 優(yōu)化算法：語法樹(盡量提前做選擇操作；在每個操作后，應(yīng)做個投影操作，去掉不用的屬性值)
?
??? 例如：
?
??? π
SNO,SNAME(σGRADE>60(SSC)) 進行優(yōu)化后轉(zhuǎn)換為：
??? π
SNO,SNAME(πSNO,SNAME(S)πSNO(σGRADE>60(SC)))
??? --即提前做選擇操作；在每個操作后，應(yīng)做個投影操作，去掉不用的屬性值
?
?
??? 又如：
?
??? S(S#,SNAME,AGE,SEX)
??? SC(S#,C#,GRADE)
??? C(C#,CNAME,TEACHER)
?
???
π
CNAME,TEACHER(σSEX='女'(SSCC)) 進行優(yōu)化后轉(zhuǎn)換為：
??? πCNAME,TEACHER(CπC#(πS#,C#(SC)πS#(σSEX='女'(S))))
?
??? 優(yōu)化前和優(yōu)化后的語法樹如下所示：
?
??? 
?
-The End-