[理學(xué)]數(shù)據(jù)庫關(guān)系運算ppt課件.ppt

《[理學(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ù)；屬性名也可以用它的序號來代替；φ：邏輯運算符