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

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

2.4.1概述

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

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

概述2023/5/205專門的關系運算符σπ

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

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

2.4.1概述

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

2.4.3專門的關系運算2023/5/2071.并（Union）R和S具有相同的目n（即兩個關系都有n個屬性）相應的屬性取自同一個域R∪S

仍為n目關系，由屬于R或屬于S的元組組成

R∪S={t|t

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

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

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

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

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

ts|tr

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

2.4.1概述

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

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