




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、四、投影運算在數(shù)據(jù)庫中, 用關(guān)系來描述數(shù)據(jù)時常用投影運算進行數(shù)據(jù)操作。定義 2.10:設(shè)R是A1,A2,An的n元關(guān)系,定義R在Ai1,Ai2,Aim上的投影是一個m元關(guān)系,它是通過選取R中的每個有序ni1,第i2,第im個分量組成有序mm元關(guān)系中的元素,這個投影記為Ai1,Ai2,Aim(R)。1例:四元關(guān)系R和三元關(guān)系S定義如下:2關(guān)系R的投影的元素個數(shù)R的元素個數(shù)。3討論了關(guān)系的性質(zhì):自反,反自反,對稱,反對稱,傳遞通常一些關(guān)系不一定具有這些性質(zhì),但若在此關(guān)系基礎(chǔ)之上適當(dāng)增加一些元素,就可以使之具有所要的性質(zhì)了。例:R=(a,b),(b,a),(a,c),不對稱。若增加元素(c,a),得
2、R=(a,b),(b,a),(a,c), (c,a),而且R是一個包含R的不可減少任何元素的對稱關(guān)系閉包42.5 關(guān)系的閉包一、閉包的定義從給定關(guān)系R出發(fā)構(gòu)造一個新關(guān)系R,使得R包含R,并且R是具有某種性質(zhì)的關(guān)系,同時R又是包含R的最小關(guān)系。從關(guān)系R得到新關(guān)系R的運算通稱為閉包運算。5定義 2.11:設(shè)R是A上的二元關(guān)系,定義R的自反(對稱,傳遞)閉包記為R,滿足下列三個條件:(1)R是自反的(對稱的, 傳遞的);(2) RR;(3)對任一自反(對稱, 傳遞)關(guān)系R,若RR,則RR。R的自反閉包,對稱閉包和傳遞閉包分別記為r(R),s(R)和t(R)(t(R)又記為R+)。6例:若R對稱,s(
3、R)=?也就是說,R對稱當(dāng)且僅當(dāng)s(R)=R定理 2.5:設(shè)R是A上的二元關(guān)系, 則(1)R是自反的當(dāng)且僅當(dāng)r(R)=R;(2)R是對稱的當(dāng)且僅當(dāng)s(R)=R;(3)R是傳遞的當(dāng)且僅當(dāng)t(R)=R。自反的(對稱的, 傳遞的); RR;對任一自反(對稱, 傳遞)關(guān)系R,若RR,則RR。7定理 2.5:設(shè)R是A上的二元關(guān)系, 則(1)R是自反的當(dāng)且僅當(dāng)r(R)=R;(2)R是對稱的當(dāng)且僅當(dāng)s(R)=R;(3)R是傳遞的當(dāng)且僅當(dāng)t(R)=R。定理 2.6:設(shè)R1和R2是A上的二元關(guān)系,R1R2則(1)r(R1)r(R2);(2)s(R1)s(R2);(3)t(R1)t(R2)。8設(shè)A=1,2,3,R
4、=(1,2),(1,3),則r(R)=(1,1),(2,2),(3,3),(1,2),(1,3)s(R)=(1,2),(1,3),(2,1),(3,1)t(R)=(1,2),(1,3)二、確定閉包的方法定理 2.7:設(shè)R是集合A上的二元關(guān)系,IA是集合A上的恒等關(guān)系,則r(R)=RIA。(IA=(a,a)|aA)證明:令R=RIA。驗證R滿足閉包的三個條件9(1) 自反(2) RR,(3)假設(shè)有A上的二元關(guān)系R,R自反且RR,(目標(biāo)是RR)定理 2.8:設(shè)R是集合A上的二元關(guān)系, 則s(R)=RR-1。證明:令R=RR-1。驗證R滿足閉包的三個條件(1) R=RR-1對稱(R是對稱的當(dāng)且僅當(dāng)R
5、=R-1)(2)RRR-1=R,(3)假設(shè)有A上二元關(guān)系R,R對稱且RR,(目標(biāo)RR)10例:整數(shù)集上的“”的對稱閉包是“”,少了=任一非空集A,其上的恒等關(guān)系的自反(對稱)閉包就是恒等關(guān)系其上的空關(guān)系的自反閉包是恒等關(guān)系其上的空關(guān)系的對稱閉包是空關(guān)系定理 2.9:設(shè)R是集合A上的二元關(guān)系, 則11(1)傳遞:對任意(a,b),(b,c)R=RR2R3(a,c)R,(2)RRR2R3=R,(3)假設(shè)有A上的二元關(guān)系R,R傳遞且RR,(目標(biāo)是RR)12定理 2.10:設(shè)R是有限集A上的二元關(guān)系, 且|A|=n,則13例:A=a,b,c,d,R=(a,b),(b,a),(b,c),(c,d),求t
6、(R)14四、閉包的性質(zhì)定理 2.11:設(shè)R是A上的二元關(guān)系。(1)若R是自反的,則s(R)和t(R)都是自反的 (2)若R是對稱的,則r(R)和t(R)都是對稱的 (3)若R是傳遞的,則r(R)是傳遞的。證明(1)(3)證明:(1)對任意的aA,目標(biāo)是(a,a)s(R), (a,a)t(R)(3)對任意(a,b),(b,c)r(R)=RIA,目標(biāo)是(a,c)RIA15R是傳遞的,s(R)是否傳遞?不一定定理 2.12:設(shè)R是A上的二元關(guān)系, 則(1)rs(R)=sr(R)(這里rs(R)讀作R的對稱自反閉包); (2)rt(R)=tr(R); (3)st(R)ts(R)。定理 2.6:R1R
7、2則t(R1)t(R2), s(R1)s(R2)定理2.11(2)(若R是對稱的,則r(R)和t(R)都是對稱的定理 2.5(2)R是對稱的當(dāng)且僅當(dāng)s(R)=Rts(R)是否與st(R)相等?162.6 等價關(guān)系與劃分一、等價關(guān)系定義 2.13:設(shè)R是集合A上的二元關(guān)系,若R是自反的、對稱的和傳遞的,則稱R是A上的等價關(guān)系。若aRb,則稱a與b等價。17例:設(shè)整數(shù)集I上的模m同余關(guān)系R是I上的等價關(guān)系。證明:(1)自反(目標(biāo)是證明對任意aI,有aRa)(2)對稱(目標(biāo)是證明若有aRb,則必有bRa)(3)傳遞(目標(biāo)是證明若有aRb,bRc,則必有aRc)因此整數(shù)集I上的模m同余關(guān)系R是I上的等價關(guān)系18例:設(shè)A=a,b,c,考察下列幾個由A的子集所組成的集合:P=a,b,c,S=a,b,c,T=a,b,c,U=a,c,V=a,b,b,c,W=a,b,a,c,c,對于P,由于a,bc=a,b,c,a,bc=,P是A的劃分。對于S,由于abc=a,b,c,ab=ac=bc=,S是A的劃分。對于T,顯然是A的劃分。對于U, 由于aca,b,c,所以不是A的劃分對于V, 盡管a,bb,c=a,b,c,但a,bb,c=b,所以不是A的劃分。類似可知W也不是A的劃分。注
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 回租合同疑問3篇
- 錄像拍攝合作合同
- 醫(yī)療信息匹配合同3篇
- 工程招標(biāo)代理服務(wù)比選案例3篇
- 保安服務(wù)合同終止原因3篇
- 工程用水泥購銷合同2篇
- 學(xué)生課堂紀(jì)律自我保證書3篇
- 礦石處理工藝的管理與維護技術(shù)考核試卷
- 旅行期間的緊急情況處理流程優(yōu)化建議考核試卷
- 空氣凈化器行業(yè)政策環(huán)境分析考核試卷
- 2025年重慶市中考物理模擬試卷(一)(含解析)
- 《服務(wù)營銷雙主動》課件
- 公司法公章管理制度
- 演出經(jīng)紀(jì)人員資格備考資料2025
- 成都交通投資集團有限公司招聘考試真題2024
- (二模)嘉興市2025年高三教學(xué)測試語文試卷(含答案)
- 湖北省宜昌二中2025年高考化學(xué)考前最后一卷預(yù)測卷含解析
- 10S505 柔性接口給水管道支墩
- DZ∕T 0227-2010 地質(zhì)巖心鉆探規(guī)程(正式版)
- GB/T 23858-2009檢查井蓋
- 班組安全安全考核表
評論
0/150
提交評論