关系数据库课件.pptVIP

2.4關係代數比較運算符和邏輯運算符是用來輔助專門的關係運算符進行操作的，所以關係代數的運算按運算符的不同主要分為傳統的集合運算和專門的關係運算兩類。1.傳統的集合運算：包括並、交、差、廣義笛卡爾積四種運算。2.專門的關係運算：包括選擇、投影、連接、除等。其中傳統的集合運算將關係看成元組的集合，其運算是從關係的“水準”方向即行的角度來進行。而專門的關係運算不僅涉及到行而且涉及到列。2.4.1傳統的集合運算傳統的集合運算是二目運算，包括並、交、差、廣義笛卡爾積四種運算。設關係R和關係S具有相同的目n（即兩個關係都有n個屬性），且相應的屬性取自同一個域，則可定義並、差、交運算如下：⒈並（Union）設關係R和關係S具有相同的目n（即兩個關係都有n個屬性），且相應的屬性取自同一個域，則關係R與關係S的並由屬於R或屬於S的所有元組組成。記作：R∪S=｛t|t∈R∨t∈S｝其結果關係仍為n目關係，由屬於R或屬於S的元組組成。關係的並操作對應於關係的插入或添加記錄的操作，俗稱“+”操作，是關係代數的基本操作。2.4.1傳統的集合運算⒉差（Difference）設關係R和關係S具有相同的目n，且相應的屬性取自同一個域，則關係R與關係S的差由屬於R而不屬於S的所有元組組成。記作：R-S=｛t|t∈R∧t∈S｝其結果關係仍為n目關係，由屬於R而不屬於S的所有元組組成。關係的差操作對應於關係的刪除記錄的操作，俗稱“-”操作，是關係代數的基本操作。⒊交（Intersection）設關係R和關係S具有相同的目n，且相應的屬性取自同一個域，則關係R與關係S的交由既屬於R又屬於S的所有元組組成。記作：R∩S=｛t|t∈R∧t∈S｝2.4.1傳統的集合運算其結果關係仍為n目關係，由既屬於R又屬於S的元組組成。關係的交可以用差來表示，即R∩S=R-(R-S)。關係的交操作對應於尋找兩關係共有記錄的操作，是一種關係查詢操作。關係的交操作能用差操作來代替，為此不是關係代數的基本操作。⒋廣義笛卡爾積（ExtendedCartesianProduct）廣義笛卡爾積不要求參加運算的兩個關係具有相同的目（自然也就不要求來自同樣的域）。設R為n目關係,S為m目關係,則R和S的廣義笛卡爾積為:R×S=｛trts|tr∈R∧ts∈S｝trts表示由兩個元組tr和ts前後有序連接而成的一個元組。2.4.1傳統的集合運算任取元組tr和ts,當且僅當tr屬於R且ts屬於S時,tr和ts的有序連接即為R×S的一個元組。R和S的廣義笛卡爾積是一個（n+m）目的關係。其中任何一個元組的前n列是關係R的一個元組,後m列是關係S的一個元組。若R有K1個元組,S有K2個元組,則R×S有K1×K2個元組。實際操作時,可從R的第一個元組開始,依次與S的每一個元組組合,然後,對R的下一個元組進行同樣的操作,直至R的最後一個元組也進行完同樣的操作為止,即可得到R×S的全部元組。2.4.1傳統的集合運算列：給出了兩個關係R和S,以及它們進行並、差、交和笛卡爾積後的結果關係。2.4.1傳統的集合運算2.4.2專門的關係運算上節中所講的傳統集合運算，只是從行的角度進行，而要靈活地實現關係資料庫的多樣查詢操作，則須引入專門的關係運算。專門的關係運算包括選擇、投影、連接、除等。為了敘述方便，我們先引入幾個記號。⒈分量：設關係模式為R(A1,A2,…,An)。它的一個關係設為R。t∈R表示t是R的一個元組。t[Ai]則表示元組t中相應於屬性Ai的一個分量。2.4.2專門的關係運算⒉屬性列或域列：若A={Ai1,Ai2,…,Aik}，其中Ai1,Ai2,…,Aik是A1,A2,…,An中的一部分，則A稱為屬性列或域列。t[A]=(t[Ai1],t[Ai2],…,t[Aik])表示元組t在屬性列A上諸分量的集合。A則表示{A1,A2,…,An}中去掉{Ai1,Ai2,…,Aik}後剩餘的屬性組。⒊元組的連接：R為n目關係，S為m目關係。tr∈R，ts∈S，trts稱為元組的連接（Concatenation）。它是一個(n+m)列的元組，前n個分量為R中的一個n元組，後m個分量為S中的一個m元組。2.4.2專門的關係運算⒋象集：給定一個關係R(X，Z)，X和Z為屬性組。我們定義，當t[X]=x時，x在R中的象集（ImagesSet）為：Zx={t[Z]|t∈R,t[X]=x}一、選擇（Selection）選擇又稱為限