第三章關(guān)系數(shù)據(jù)模型_第1頁
第三章關(guān)系數(shù)據(jù)模型_第2頁
第三章關(guān)系數(shù)據(jù)模型_第3頁
第三章關(guān)系數(shù)據(jù)模型_第4頁
第三章關(guān)系數(shù)據(jù)模型_第5頁
已閱讀5頁,還剩134頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1

業(yè) 獨(dú)立于計(jì)算機(jī)系統(tǒng)和

––概念模型(E-R模型– 關(guān)系:數(shù)據(jù)庫中全部數(shù)據(jù)及數(shù)據(jù)間聯(lián)系都以關(guān)系來表達(dá)查詢(非過程化) 2.2

更新時(shí)二義性2.3(Pri(Nonprime主碼(Primary選碼稱為替換碼(Alternate Student(Sno,Name,Age,(libraryID,name)用關(guān)系表示實(shí)體及實(shí)體間聯(lián)系,三類完整性表示數(shù)據(jù)

字關(guān)系數(shù)據(jù)庫模式(RelationalDatabaseSchema):v.s →關(guān)系數(shù)據(jù)

R稱為參照關(guān)系(ReferentialRelation) PK:主關(guān)鍵字(主鍵,primarykey)是被挑選出來,關(guān)鍵字。主關(guān)鍵字又可以稱為主鍵。主鍵可以由一個(gè)字一張表的學(xué)生設(shè)置了唯一約束,那么學(xué)生的就是不能重復(fù)的,只能是CK:CHECK約束指定表內(nèi)一列或多列中可接authors表的zip列只允許輸入五位數(shù)的數(shù)字項(xiàng)1 成績(jī)>=0關(guān)系代數(shù)(Relational關(guān) 代

關(guān) 的 的本選 本算 投 算 積(CartesianProduct):返回兩個(gè)并: 差: 積: 選擇: 投影: {All交 聯(lián)接: 除 并差并∪差積×名名 R的cardinality*S的 ◆R×S的 σ

改變 R =‘男’(學(xué)生 =21(學(xué)生, πR.sno, o, ∞ –E1∪E2、E1-E2、交–θ除交R∩S={t∣t∈R∧t∈S}=R-(RSθ=相當(dāng)于在R×S中選取R和S的所有公共屬性值都相等∞∞R=相當(dāng)于在R×S中選取R的屬性A值與S的屬性B值滿足R.號(hào)號(hào)號(hào)號(hào)

R號(hào)R號(hào)S號(hào)R(snocno

’ (R)÷π sno, ’

Result=Temp2–S(S#,SNAME,STATUS,P(P#,PNAME,COLOR,WEIGHT,SPS#P#,QTY),其中S#參照S.S#P#參照σCITY=‘London’πS#,SNAME,STATUS(σCITY=‘London’πP#,PNAME(σCOLOR=‘Red’∧WEIGHT<=15πSNAME(σP#=‘P2’πSNAME(σCOLOR=‘Red’πSNAME(S∞(σCOLOR=‘Red’πS1#,S2#πSNAME(S∞(πS#,P#(SP)÷πSNAME(S∞(πS#,P#(SP)÷πP#(σS#=‘S2’πSNAME(S)-πSNAME(σP#=‘P2’

數(shù) 數(shù) 選 投 ∞

學(xué) 選學(xué) 選RS:R和S的所有元組都出現(xiàn)在結(jié)果集中,L(R)L(R)形如→z的表達(dá)式,其中是一個(gè)涉及R的屬性、常量、代數(shù)運(yùn)算符或者串運(yùn)算符的表達(dá)式。z式得到的結(jié)果屬性的新名字 Employee(E#,E#,FirstName||LastNameE#, count(E#)→employee_count(Employee)AVG(salary)→avg_salary(Employee) 者是其他的操作。還需要按照其他某一屬性分組,然后考慮各分組中元組的操作。FFi是一個(gè)或多個(gè)函數(shù),函數(shù)所應(yīng)用的屬性被稱作是屬性。??成績(jī)成績(jī)L(R),An,那么R的元組就先按屬性A1的值先排τ(?S1←S1∪{(‘001’,’Rose’,19) , ,age(σ=‘M’(Student))∪-σ關(guān)系代數(shù)ISBL(InformationSystemBaseR.R:πBLISTR:City=''示在關(guān)系R中選擇City為”“的讀者,檢索書名為”PASCAL“的的書名和定購數(shù)LISTB*OD: 后在Bname和ty投影,得到一個(gè)書名為‘PASCAL’的名及其定購數(shù)量列表。S=N!OD:

關(guān)系演算(元組關(guān)系演算、域關(guān)系演算5關(guān)系演算5關(guān)系演算(Relational –{t|元組演算P由原子構(gòu)成,原子可以R={t|tt[1]>u[2]、若P1是元組演算,則t(P1)、有限次運(yùn)用以上規(guī)則得到的是元組演算公S(S#,SNAME,STATUS,P(P#,PNAME,COLOR,WEIGHT,SPSP#,QTY),其中S#參照S.SP#σCITY=‘London’{t|tS∧t[city]=‘London’πS#,SNAME,STATUS(σCITY=‘London’{t|(uS)(u[city]=‘London’∧t[2]=u[2]πSNAME(σP#=‘P2’{t|(uS)(t[1]=u[sname]∧(v(u[s#]=v[s#]∧πSNAME(S)-πSNAME(σP#=‘P2’{t|((xS)(t[1]=x[sname]┐((uS)(t[1]=u[sname])∧(v(u[s#]=v[s#]∧–{t|┐(tR)例如:{t|tS∧t[city]=‘LondonDom(tS∧t[city]=‘London’)是由顯式值如果表達(dá)式{t|P(t)}結(jié)果中的所有值都屬于{t|tS∧t[city]=‘London’{t|tR R∪S={t|tR∨tSR-S={t|tR∧┐(tS)R×S={t(n+m)|(u(n))(v(m))(uR∧v∧t[1]=u[1]∧t[2]=u[2]∧…Πi1,i2,…,ik(R)={t(k)|(u)(uR∧t[2]=u[i2]∧…∧t[n]=u[in])σF(R)={t|tR∧F’},其中F’是用t[i]替換F 5.2域演算 –{<t1,t2,…,tk>|P(t1,t2,…,tk原子(t1,t2tkR:R是關(guān)系名,tiR={t1t2…tk|(t1,t2,…,tk)Rtiθc或cθti:cti若P1是域演算,則t(P1)、t(P1)都是域演算,t是域變量有限次運(yùn)用以上規(guī)則得到的是域演算公式,其它的不是域演算{t|tS∧t[city]=‘London’{<s#,sname,status,city>|(s#,sname,status,city){t|(uS)(u[city]=‘London’∧t[1]=u[1]{<s#,sname,status>|(city)(S另外,ALPHA語言具有查詢、、刪除、修改等操作語句,同時(shí)提供了函數(shù),可以求元組的個(gè)數(shù),B限定檢索:檢索家住“”的所有讀者姓GETW(R.Rname):R.City='檢索“高等教育”所的書名和時(shí)間,按照時(shí)間排序GETW(B.Bname,B.Presshouse):B.Presshouse='高等教育'DOWN帶的檢GETW(1)(R.Rname):R.City='GETW(B):UP檢索“所訂購的的書號(hào)和定 使用函數(shù)

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論