資源描述:
《B關(guān)系代數(shù)附加運算、擴展運算》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、2.3附加運算為了書寫方便,擴展了若干操作,稱為附加運算附加運算沒有實質(zhì)地擴展關(guān)系代數(shù)的能力附加運算的種類交(r∩s)自然連接(rs)除(r÷s)賦值運算(←)2021/7/161數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:∩Intersection,交r∩s用-表示∩r∩s=r-(r-s)示例1、求既是學生又是老師的人員(pid,name)2、學了c1和c2的學生學號sPidSnoSnamep1s1甲p2s2乙tPidTnoTnamep1t1甲p3t2丙SCSnoCnoScoreS1C180S1C290S2C170S3C2602021/7/162數(shù)據(jù)庫系統(tǒng)概念-
2、---關(guān)系模型2.3附加運算:自然連接定義rs=ΠR∪S(σr.A1=s.A1∧…∧r.An=s.An(r×s))示例SSnoSnameS1甲S2乙S3丙SCSnoCnoScoreS1C180S1C290S2C170ssc=SnoSnameCnoScoreS1甲C180S1甲C290S2乙C170自然連接確定選擇條件的原則:以屬性名是否相同為依據(jù)不以語義是否相同為依據(jù)要注意參與自然連接的表中是否有不希望做選擇條件的同名屬性2021/7/163數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:自然連接可交換,可結(jié)合ssc≡scs(ssc)c≡s(scc)R∩S=Φ時,自然
3、連接的結(jié)果sc=?θ連接,等值連接SSnoSnameS1甲S2乙SCSnoCnoScoreS1C180S1C290S2C170CCnoCnameC1DSC2DB2021/7/164數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:÷的定義示例:求學了全部課程的snosc÷c除的定義t∈r÷s,當切僅當①t∈ΠR-S(r)②對任意ts∈s,存在tr∈r,滿足:tr[R-S]=t且tr[S]=ts示例:scSnoCnoS1C1S1C2S2C1S3C2cCnoC1C2sc÷c=SnoS12021/7/165數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:÷定義二ImageSet
4、,象集(像集):對R(A,B),“a1”是屬性組A上的值(組)“a1”在R上的象集,記作Ba1Ba1={t[B]
5、t∈r,t[A]=a1}除的定義(二)r÷s:是象集包含s的分量組集合通俗地講:r÷s就是誰的象集包含sscSnoCnoS1C1S1C2S2C1S3C2cCnoC1C2CNOS1=CnoC1C2CNOS3=CnoC2CNOS2=CnoC12021/7/166數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:÷示例,求學了所有課的學生學號:思考1:使用÷,有幾種寫法?思考2:不使用÷,如何書寫?SSCCSnoSnameDeptSnoCnoScoreCnoCna
6、meS1甲計S1C180C1DSS2乙軟S1C290C2DBS3丙軟S2C170S4丁計S3C2602021/7/167數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:賦值,←為了簡化關(guān)系代數(shù)表達書的書寫,引入賦值運算示例,不使用÷,求學了所有課程的學生學號temp1??sno(s)??cno(c)temp2??sno(temp1??sno,cno(sc))?sno(s)?temp2SSCCSnoSnameDeptSnoCnoScoreCnoCnameS1甲計S1C180C1DSS2乙軟S1C290C2DBS3丙軟S2C170S4丁計S3C2602021/7/168數(shù)
7、據(jù)庫系統(tǒng)概念----關(guān)系模型2.3附加運算:練習1、求計算機系學生的“DB”成績(sno,sname,score)2、使用÷,求學了s5所學全部課程的學生3、不使用÷,求學了s5所學全部課程的學生SSCCSnoSnameDeptSnoCnoScoreCnoCnameS1甲計S1C180C1DSS2乙軟S1C290C2DBS3丙軟S2C170S4丁計S3C2602021/7/169數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.5空值,Null空值的語義不知道或不存在空值的表現(xiàn)參與算術(shù)運算:結(jié)果為Null參與比較運算:結(jié)果為Null參與邏輯運算:1、Nullortrue=ture2
8、、Nullandfalse=false3、其它情況結(jié)果為null空值是一種狀態(tài),不是一個明確的值SSnoSnameDeptSageS1甲計20S2乙軟21S3丙軟S4丁202021/7/1610數(shù)據(jù)庫系統(tǒng)概念----關(guān)系模型2.5關(guān)系代數(shù)對空值的處理不是總有道理,更多的時候是定義σθ(E)保留使θ確定地為真的元組求20歲的學生求不是20歲的學生ΠA1,A2…(E)元組表現(xiàn)相同(認為表示的語義相同),則保留一個元組求各系年齡分布(dept,sage)∪∩-:與Π的處理原則一致SSnoSnameDeptSageS1甲計20S2乙軟21S3丙軟S4丁軟2021/7/1