資源描述:
《[理學(xué)]數(shù)據(jù)庫關(guān)系運算ppt課件.ppt》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、關(guān)系數(shù)據(jù)庫關(guān)系模型概述關(guān)系數(shù)據(jù)結(jié)構(gòu)關(guān)系的完整性關(guān)系代數(shù)關(guān)系演算小結(jié)關(guān)系模型1.關(guān)系數(shù)據(jù)模型的數(shù)據(jù)結(jié)構(gòu)2.關(guān)系數(shù)據(jù)模型的操縱3.關(guān)系數(shù)據(jù)模型的完整性約束關(guān)系數(shù)據(jù)操作關(guān)系的數(shù)據(jù)操作集合查詢選擇、投影、連接、除、并、交、差數(shù)據(jù)更新插入、刪除、修改關(guān)系代數(shù)概述傳統(tǒng)的集合運算專門的關(guān)系運算概述1.關(guān)系代數(shù)2.運算的三要素3.關(guān)系代數(shù)運算的三個要素4.關(guān)系代數(shù)運算的分類5.表示記號概述1.關(guān)系代數(shù)一種抽象的查詢語言用對關(guān)系的運算來表達查詢概述(續(xù))2.關(guān)系代數(shù)運算的三個要素運算對象:關(guān)系運算結(jié)果:關(guān)系運算符:四類概述(續(xù))集合運算符將關(guān)系看成元組的集合運
2、算是從關(guān)系的“水平”方向即行的角度來進行專門的關(guān)系運算符不僅涉及行而且涉及列算術(shù)比較符輔助專門的關(guān)系運算符進行操作邏輯運算符輔助專門的關(guān)系運算符進行操作集合運算符∪-∩×并差交廣義笛卡爾積比較運算符>≥<≤=≠大于大于等于小于小于等于等于不等于運算符含義運算符含義表關(guān)系代數(shù)運算符概述(續(xù))專門的關(guān)系運算符σπ÷選擇投影連接除邏輯運算符?∧∨非與或運算符含義運算符含義表關(guān)系代數(shù)運算符(續(xù))概述(續(xù))概述(續(xù))4.關(guān)系代數(shù)運算的分類傳統(tǒng)的集合運算并、差、交、廣義笛卡爾積專門的關(guān)系運算選擇、投影、連接、除概述(續(xù))5.表示記號(1)R,t?R,t[
3、Ai]設(shè)關(guān)系模式為R(A1,A2,…,An)它的一個關(guān)系設(shè)為R。t?R表示t是R的一個元組t[Ai]則表示元組t中相應(yīng)于屬性Ai的一個分量(2)A,t[A],A若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}后剩余的屬性組。概述(續(xù))概述(續(xù))(3)trtsR為n目關(guān)系,S為m目關(guān)系。tr?R,ts?S,tr
4、ts稱為元組的連接。它是一個n+m列的元組,前n個分量為R中的一個n元組,后m個分量為S中的一個m元組。概述(續(xù))4)象集Zx給定一個關(guān)系R(X,Z),X和Z為屬性組。當(dāng)t[X]=x時,x在R中的象集(ImagesSet)為:Zx={t[Z]
5、t?R,t[X]=x}它表示R中屬性組X上值為x的諸元組在Z上分量的集合。關(guān)系代數(shù)概述傳統(tǒng)的集合運算專門的關(guān)系運算傳統(tǒng)的集合運算并差交廣義笛卡爾積1.并(Union)R和S具有相同的目n(即兩個關(guān)系都有n個屬性)相應(yīng)的屬性取自同一個域R∪S仍為n目關(guān)系,由屬于R或?qū)儆赟的元組組成R∪S={t
6、t?R∨t
7、?S}并(續(xù))ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b2c2a1b3c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∪S2.差(Difference)R和S具有相同的目n相應(yīng)的屬性取自同一個域R-S仍為n目關(guān)系,由屬于R而不屬于S的所有元組組成R-S={t
8、t?R∧t?S}差(續(xù))ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1ABCa1b2c2a1b3c2a2b2c1RSR-S3.交(Intersection)R和S具有相同的目n相應(yīng)的屬性取自同一個域R∩S仍為n目關(guān)系,由既屬于R又屬于
9、S的元組組成R∩S={t
10、t?R∧t?S}R∩S=R–(R-S)交(續(xù))ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∩S4.廣義笛卡爾積(ExtendedCartesianProduct)Rn目關(guān)系,k1個元組Sm目關(guān)系,k2個元組R×S列:(n+m)列的元組的集合元組的前n列是關(guān)系R的一個元組后m列是關(guān)系S的一個元組行:k1×k2個元組R×S={trts
11、tr?R∧ts?S}廣義笛卡爾積(續(xù))ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b1c1a
12、1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a2b2c1a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR×SABCa1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1關(guān)系代數(shù)概述傳統(tǒng)的集合運算專門的關(guān)系運算專門的關(guān)系運算選擇投影連接除1.選擇(Selection)1)選擇又稱為限制(Restriction)2)選擇運算符的含義在關(guān)系R中選擇滿足給定條件的諸元組σF(R)={t
13、t?R∧F(t)='真'}F:選擇條件,是一個邏輯表達式,基本形式為:[?(]X1θY
14、1[)][φ[?(]X2θY2[)]]…θ:比較運算符(>,≥,<,≤,=或<>)X1,Y1等:屬性名、常量、簡單函數(shù);屬性名也可以用它的序號來代替;φ:邏輯運算符