《數(shù)據(jù)庫(kù)系統(tǒng)概論》第二章關(guān)系數(shù)據(jù)庫(kù)

2023/5/201數(shù)據(jù)庫(kù)系統(tǒng)概論天津職業(yè)技術(shù)師范大學(xué)信息學(xué)院第二章關(guān)系數(shù)據(jù)庫(kù)2.1關(guān)系數(shù)據(jù)結(jié)構(gòu)及形式化定義2.2關(guān)系操作2.3關(guān)系的完整性2.4關(guān)系代數(shù)2.5小結(jié)2.4關(guān)系代數(shù)

2.4.1概述

2.4.2傳統(tǒng)的集合運(yùn)算

2.4.3專門的關(guān)系運(yùn)算2023/5/20數(shù)據(jù)庫(kù)原理及應(yīng)用翁省輝4集合運(yùn)算符∪-∩×并差交笛卡爾積比較運(yùn)算符＞≥＜≤＝<>大于大于等于小于小于等于等于不等于運(yùn)算符含義運(yùn)算符含義表2.4關(guān)系代數(shù)運(yùn)算符

概述2023/5/205專門的關(guān)系運(yùn)算符σπ

÷選擇投影連接除邏輯運(yùn)算符∧∨非與或運(yùn)算符含義運(yùn)算符含義表2.4關(guān)系代數(shù)運(yùn)算符（續(xù)）

概述(續(xù))2.4關(guān)系代數(shù)

2.4.1概述

2.4.2傳統(tǒng)的集合運(yùn)算

2.4.3專門的關(guān)系運(yùn)算2023/5/2071.并（Union）R和S具有相同的目n（即兩個(gè)關(guān)系都有n個(gè)屬性）相應(yīng)的屬性取自同一個(gè)域R∪S

仍為n目關(guān)系，由屬于R或?qū)儆赟的元組組成

R∪S={t|t

R∨tS}2023/5/208并(續(xù))2023/5/2092.差（Difference）R和S具有相同的目n相應(yīng)的屬性取自同一個(gè)域R-S

仍為n目關(guān)系，由屬于R而不屬于S的所有元組組成

R-S={t|tR∧tS}2023/5/2010差(續(xù))2023/5/20113.交（Intersection）R和S具有相同的目n相應(yīng)的屬性取自同一個(gè)域R∩S仍為n目關(guān)系，由既屬于R又屬于S的元組組成

R∩S={t|tR∧tS}R∩S=R–(R-S）2023/5/2012交(續(xù))2023/5/20134.笛卡爾積（CartesianProduct）嚴(yán)格地講應(yīng)該是廣義的笛卡爾積（ExtendedCartesianProduct）R:n目關(guān)系，k1個(gè)元組S:m目關(guān)系，k2個(gè)元組R×S

列：（n+m）列元組的集合元組的前n列是關(guān)系R的一個(gè)元組后m列是關(guān)系S的一個(gè)元組行：k1×k2個(gè)元組R×S={tr

ts|tr

R∧tsS}2023/5/2014笛卡爾積(續(xù))2.4關(guān)系代數(shù)

2.4.1概述

2.4.2傳統(tǒng)的集合運(yùn)算

2.4.3專門的關(guān)系運(yùn)算20鞏23肚/5只/1顏8162.揚(yáng)4.歷2專門需的關(guān)伙系運(yùn)舞算先引食入幾息個(gè)記史號(hào)（1）R，tR，t[挪Ai]設(shè)關(guān)疊系模淡式為R(稱A1，A2，…，An)，它的識(shí)一個(gè)腥關(guān)系套設(shè)為R，tR表示t是R的一鳴個(gè)元組，t[Ai]則表垂示元疑組t中相德應(yīng)于佛屬性Ai的一碑個(gè)分量。20氧23怪/5按/1伴817專門束的關(guān)雙系運(yùn)攪算(續(xù))（2）trtsR為n目關(guān)床系，S為m目關(guān)養(yǎng)系。trR，tsS，trts稱為潤(rùn)元組糖的連針接。trts是一瘡個(gè)n+m列的勸元組悶，前n個(gè)分呈量為R中的估一個(gè)n元組旱，后m個(gè)分量量為S中的率一個(gè)m元組快。20麥23剩/5及/1介818專門捕的關(guān)靈系運(yùn)煉算(續(xù))（3）象捷集Zx給定證一個(gè)昏關(guān)系R（X，Z），X和Z為屬維性組牢。當(dāng)t[X]=x時(shí)，x在R中的象集（Im狡ag腸es畜S粘et）為塞：Zx={t[Z]|tR，t[X]=x}它表裂示R中屬帽性組X上值螺為x的諸竭元組倒在Z上分扭量的絮集合雅。20腦23解/5跨/1償819專門鄰的關(guān)財(cái)系運(yùn)咱算(續(xù))x1在R中的鑰象集Zx1={Z1，Z2，Z3}，x2在R中的妥象集Zx2={Z2，Z3}，x3在R中的功象集Zx3={Z1，Z3}象集炸舉例20吧23街/5般/1驕820專門醒的關(guān)謎系運(yùn)投算(續(xù))選擇投影連接除20通23巡壽/5什/1唯821專門召的關(guān)織系運(yùn)臨算(續(xù))(a胖)St粥ud瞎en扣t學(xué)生-課程風(fēng)數(shù)據(jù)脫庫(kù):學(xué)生醫(yī)關(guān)系St踏ud體en想t、課薯程關(guān)斥系Co跑ur堪se和選嶄修關(guān)但系SC學(xué)號(hào)Sno姓名Sname性別Ssex年齡Sage所在系Sdept200215121李勇男20CS200215122劉晨女19IS200215123王敏女18MA200215125張立男19IS20星23鬼/5里/1因822專門恥的關(guān)泥系運(yùn)愁算(續(xù))課程號(hào)Cno課程名Cname先行課Cpno學(xué)分Ccredit1數(shù)據(jù)庫(kù)542數(shù)學(xué)23信息系統(tǒng)144操作系統(tǒng)635數(shù)據(jù)結(jié)構(gòu)746數(shù)據(jù)處理27PASCAL語言64Co巾ur側(cè)se(b拾)20艱23賞/5磁/1乓823專門雞的關(guān)侄系運(yùn)混算(續(xù))(c起)SC學(xué)號(hào)Sno課程號(hào)Cno成績(jī)Grade20021512119220021512128520021512138820021512229020021512238020噴23疼/5躲/1純8241.選擇節(jié)（Se碑le靈ct仆io腦n）1)選擇鏡又稱藥為限嗚制（Re補(bǔ)st既ri史ct堅(jiān)io憑n）2)選擇蔬運(yùn)算農(nóng)符的場(chǎng)含義在關(guān)敢系R中選梅擇滿良足給首定條次件的賣諸元迅組σF(R)及=榜{t|tR∧F(t)=渠'真'}F：選瘦擇條考件，錘是一信個(gè)邏慌輯表蔥達(dá)式鉆，基筐本形杠式為乓：X1θY120擦23勉/5腥/1滾825選擇圣（續(xù)竊）3)選擇煤運(yùn)算朱是從塑關(guān)系R中選醋取使若邏輯如表達(dá)楚式F為真慮的元梢組，扔是從行的角桑度進(jìn)橫行的印運(yùn)算σ20切23嶼/5賤/1景826選擇合（續(xù)降）[例1]查詢墾信息域系（IS系）湯全體稠學(xué)生σSd周ep孕t=邪'I鄉(xiāng)豐S'(S寧tu步de弟nt緞)或σ5閱='炮IS冷'(S刻tu潑de朋nt灘)結(jié)果搶：SnoSnameSsexSageSdept200215122劉晨女19IS200215125張立男19IS20汽23銳/5詳/1第827選擇恩（續(xù)的）[例2]查詢口年齡下小于20歲的價(jià)學(xué)生σSa棄ge蟻<織2熄0(S保tu臭de建nt曉)或σ4何<率20(S便tu替de峽nt寫)結(jié)果木：SnoSnameSsexSageSdept200215122劉晨女19IS200215123王敏女18MA200215125張立男19IS20園23百/5郊/1至8282.投影嶺（Pr遮oj晌ec券ti茂on）1）投儲(chǔ)影運(yùn)秩算符抄的含朽義從R中選意擇出竟若干葛屬性艘列組成朗新的漲關(guān)系πA(R)免=繭{t[A]誦|tR}A：R中的鍵屬性陪列20冰23哀/5貞/1象8292.投影句（Pr期oj鍬ec賣ti減on）2）投挨影操炭作主鎮(zhèn)要是鳳從列跪的角懼度進(jìn)慮行運(yùn)抬算但投胞影之慰后不匪僅取皇消了別原關(guān)滿系中世的某萄些列排，而屆且還納可能演取消會(huì)某些催元組（避惡免重和復(fù)行落）π20擊23償/5產(chǎn)/1渾830投影石（續(xù)頑）[例3]查詢?yōu)膶W(xué)生水的姓暖名和蜻所在寒系即求St手ud茫en挺t關(guān)系菌上學(xué)跪生姓注名和取所在姿系兩革個(gè)屬拖性上易的