數(shù)據(jù)庫系統(tǒng)原理教案(參考版)
2025-06-10 19:46本頁面
【正文】 映象由關(guān)系系統(tǒng)自動提供與維護(hù)。關(guān)系系統(tǒng)的體系結(jié)構(gòu)*不同關(guān)系系統(tǒng)的體系結(jié)構(gòu)都符合三級模式結(jié)構(gòu)。到目前為止尚沒有一個系統(tǒng)是全關(guān)系系統(tǒng)。（FoxBASE,FoxPro等）3） 關(guān)系完備系統(tǒng)：支持關(guān)系數(shù)據(jù)結(jié)構(gòu)和支持關(guān)系代數(shù)操作（功能上與關(guān)系代數(shù)等價）。各類關(guān)系系統(tǒng)的分類與定義：1） 表式系統(tǒng)：僅支持關(guān)系數(shù)據(jù)結(jié)構(gòu)，不支持集合級操作，實(shí)際上不能算關(guān)系系統(tǒng)。（coruse） 選了上述課程的學(xué)生學(xué)號P2：P1∞SC 或Пsno(P1∞SC ) 根據(jù)學(xué)號求姓名：P2∞ПSno,Sname(Student),投影出Sname例10：查詢選修了全部課程的學(xué)生號碼和姓名 所有課程的課程號P1：Пo(Course ) 選修了所有課程的學(xué)生號P2：ПSno,Cno(SC)247。P1=σcpno=39。 S = {tr[X]| tr∈R ∧Пy(S) 包含于tr[X]的象集}例：至少選修了課程表中所有課程的學(xué)生Пsno,o(student_course) 247。S的結(jié)果為新關(guān)系P（X），P是R中滿足下列條件的元組在X屬性列上的投影：元組在X上分量值x的象集Yx包含S在Y上投影的集合。*R247。見書P51 *象集：關(guān)系R（X，Z），X和Z為屬性組。S，R247。4） 除（247。例4：在學(xué)生關(guān)系中有那些系表見P48 例3：Пsname,sdept(student) 例4：Пsdept(student)注：投影后的重復(fù)行應(yīng)該消除 3） 連接∞R ∞ S={trts | tr∈R ∧ ts∈S ∧ tr[A] θ ts[B] } AθB從廣義笛卡爾積R ╳ S中選擇滿足比較運(yùn)算表達(dá)式AθB的元組，A、B分別為R、S上度數(shù)相等且可比的屬性組。（student） 例2：σsage20（student） 邏輯表達(dá)式F的基本形式為：X1 θ Y1[φ X2 θ Y2]… θ比較運(yùn)算符，φ邏輯運(yùn)算符﹁∧∨，Xi、Yi屬性名或常量名或簡單函數(shù)。P48 例查詢信息系的全體學(xué)生 例查詢年齡小于20的元組 例1： σsdept=39。 關(guān)系R、S要求具有相同的目n（都具有n個屬性），相應(yīng)的屬性取自同一個域（同類型數(shù)據(jù)）4） 廣義笛卡爾積R ╳ S={trts | tr∈R ∧ ts∈S} *關(guān)系R、S分別為m、n目kk2個元組，結(jié)果為m+n目，元組個數(shù)為k1*k2個。 關(guān)系R、S要求具有相同的目n（都具有n個屬性），相應(yīng)的屬性取自同一個域（同類型數(shù)據(jù)）2） 差（—）R — S={ t | t∈R ∧﹁t∈S } 差由屬于R并不屬于S的元組組成。 傳統(tǒng)的集合運(yùn)算
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號-1