數(shù)據(jù)庫(kù)原理第二章綜合舉例

數(shù)據(jù)庫(kù)系統(tǒng)概論AnIntroductiontoDatabaseSystem第二章關(guān)系數(shù)據(jù)庫(kù)(續(xù)）.studentscsnosnamessexsagesdept95001李勇男20CS95002劉晨女19IS95003王敏女18MA95004張立男19ISsnocnograde9500119295001285950013889500229095002380950051100cnocnamecpnoccredit1數(shù)據(jù)庫(kù)542數(shù)學(xué)23信息系統(tǒng)144操作系統(tǒng)635數(shù)據(jù)結(jié)構(gòu)746數(shù)據(jù)處理27PASCAL語(yǔ)言64course.綜合舉例(續(xù))[例8-1]查詢選修了2號(hào)課程的學(xué)生的學(xué)號(hào)。

πSno（σCno='2'（SC））

sno9500195002.綜合舉例(續(xù))[例8-2]查詢選修了2號(hào)課程的學(xué)生的學(xué)號(hào)和姓名。

πSno，sname（σCno='2'（SC?

Student）或πSno，sname（πSno（σCno='2'（SC））?

Student））.綜合舉例(續(xù))[例8-3]查詢選修了數(shù)學(xué)的學(xué)生的學(xué)號(hào)和姓名。

πSno，sname（σcname=‘?dāng)?shù)學(xué)'（course?SC?

Student）.綜合舉例(續(xù))

πSname(σCpno='5'(Course?SC?Student))或

πSname(σCpno='5'(Course)

?

SC

?

πSno，Sname(Student))或

πSname(πSno(σCpno='5'(Course)?SC)

?πSno，Sname(Student))

[例9-1]查詢至少選修了一門其直接先行課為5號(hào)課程的課程的學(xué)生姓名。.綜合舉例(續(xù))c1←coursec2←course

πo,c2.cpno(c1?c2)

[例9-2]查詢每一門課的間接先修課。（p102）c1.cpno=o.綜合舉例(續(xù))[例10]查詢選修了全部課程的學(xué)生號(hào)碼和姓名。（πSno，Cno（SC）÷πCno（Course））?

πSno，Sname（Student）.綜合舉例(續(xù))

.§2.6包的關(guān)系運(yùn)算集合無(wú)重復(fù)順序無(wú)關(guān)包可重復(fù)順序無(wú)關(guān)商業(yè)數(shù)據(jù)庫(kù)系統(tǒng)往往是基于包的采用包可以獲得比集合快的運(yùn)算速度.包的關(guān)系運(yùn)算并、交、差投影、選擇乘積、連接不必去除重復(fù)元組！！.2.3關(guān)系的完整性關(guān)系模型的完整性規(guī)則是對(duì)關(guān)系的某種約束條件。關(guān)系模型中三類完整性約束：實(shí)體完整性參照完整性用戶定義的完整性實(shí)體完整性和參照完整性是關(guān)系模型必須滿足的完整性約束條件，被稱作是關(guān)系的兩個(gè)不變性，應(yīng)該由關(guān)系系統(tǒng)自動(dòng)支持。.2.3.1實(shí)體完整性實(shí)體完整性規(guī)則（EntityIntegrity）若屬性A是基本關(guān)系R的主屬性，則屬性A不能取空值舉例說(shuō)明：.實(shí)體完整性(續(xù))關(guān)系模型必須遵守實(shí)體完整性規(guī)則的原因(1)實(shí)體完整性規(guī)則是針對(duì)基本關(guān)系而言的。一個(gè)基本表通常對(duì)應(yīng)現(xiàn)實(shí)世界的一個(gè)實(shí)體集或多對(duì)多聯(lián)系。(2)現(xiàn)實(shí)世界中的實(shí)體和實(shí)體間的聯(lián)系都是可區(qū)分的，即它們具有某種唯一性標(biāo)識(shí)。(3)相應(yīng)地，關(guān)系模型中以主碼作為唯一性標(biāo)識(shí)。.實(shí)體完整性(續(xù))關(guān)系模型必須遵守實(shí)體完整性規(guī)則的原因(續(xù))(4)候選碼中的屬性即主屬性不能取空值?？罩稻褪恰安恢馈被颉盁o(wú)意義”的值。主屬性取空值，就說(shuō)明存在某個(gè)不可標(biāo)識(shí)的實(shí)體，即存在不可區(qū)分的實(shí)體，這與第（2）點(diǎn)相矛盾，因此這個(gè)規(guī)則稱為實(shí)體完整性。.實(shí)體完整性(續(xù))注意實(shí)體完整性規(guī)則規(guī)定基本關(guān)系的所有主屬性都不能取空值例選修（學(xué)號(hào)，課程號(hào)，成績(jī)）“學(xué)號(hào)、課程號(hào)”為主碼，則兩個(gè)屬性都不能取空值。.2.3.2參照完整性1.關(guān)系間的引用2.外碼3.參照完整性規(guī)則.1.關(guān)系間的引用在關(guān)系模型中實(shí)體及實(shí)體間的聯(lián)系都是用關(guān)系來(lái)描述的，因此可能存在著關(guān)系與關(guān)系間的引用。例1學(xué)生實(shí)體、專業(yè)實(shí)體以及專業(yè)與學(xué)生間的一對(duì)多聯(lián)系

專業(yè)（專業(yè)號(hào)，專業(yè)名）學(xué)生（學(xué)號(hào)，姓名，性別，專業(yè)號(hào)，年齡）

.

學(xué)生（學(xué)號(hào)，姓名，性別，專業(yè)號(hào)，年齡）

專業(yè)（專業(yè)號(hào)，專業(yè)名）

.關(guān)系間的引用(續(xù))例2學(xué)生、課程、學(xué)生與課程之間的多對(duì)多聯(lián)系學(xué)生（學(xué)號(hào)，姓名，性別，專業(yè)號(hào)，年齡）課程（課程號(hào)，課程名，學(xué)分）選修（學(xué)號(hào)，課程號(hào)，成績(jī)）.

學(xué)生學(xué)生選課課程.關(guān)系間的引用(續(xù))例3學(xué)生實(shí)體及其內(nèi)部的領(lǐng)導(dǎo)聯(lián)系(一對(duì)多)

學(xué)生（學(xué)號(hào)，姓名，性別，專業(yè)號(hào)，年齡，班長(zhǎng)）.2．外碼（ForeignKey）設(shè)F是基本關(guān)系R的一個(gè)或一組屬性，但不是關(guān)系R的碼。如果F與基本關(guān)系S的主碼Ks相對(duì)應(yīng)，則稱F是基本關(guān)系R的外碼基本關(guān)系R稱為參照關(guān)系（ReferencingRelation）基本關(guān)系S稱為被參照關(guān)系（ReferencedRelation）或目標(biāo)關(guān)系（TargetRelation）。.外碼(續(xù))說(shuō)明關(guān)系R和S不一定是不同的關(guān)系目標(biāo)關(guān)系S的主碼Ks和參照關(guān)系的外碼F必須定義在同一個(gè)（或一組）域上外碼并不一定要與相應(yīng)的主碼同名當(dāng)外碼與相應(yīng)的主碼屬于不同關(guān)系時(shí)，往往取相同的名字，以便于識(shí)別.3.參照完整性規(guī)則若屬性（或?qū)傩越M）F是基本關(guān)系R的外碼它與基本關(guān)系S的主碼Ks相對(duì)應(yīng)（基本關(guān)系R和S不一定是不同的關(guān)系），則對(duì)于R中每個(gè)元組在F上的值必須為：或者取空值（F的每個(gè)屬性值均為空值）或者等于S中某個(gè)元組的主碼值。.參照完整性規(guī)則(續(xù))學(xué)生關(guān)系中每個(gè)元組的“專業(yè)號(hào)”屬性只取下面兩類值：（1）空值，表示尚未給該學(xué)生分配專業(yè)（2）非空值，這時(shí)該值必須是專業(yè)關(guān)系中某個(gè)元組的“專業(yè)號(hào)”值，表示該學(xué)生不可能分配到一個(gè)不存在的專業(yè)中.參照完整性規(guī)則(續(xù))

選修（學(xué)號(hào)，課程號(hào)，成績(jī)）“學(xué)號(hào)”和“課程號(hào)”是選修關(guān)系中的主屬性按照實(shí)體完整性和參照完整性規(guī)則，它們只能取相應(yīng)被參照關(guān)系中已經(jīng)存在的主碼值.參照完整性規(guī)則(續(xù))學(xué)生（學(xué)號(hào)，姓名，性別，專業(yè)號(hào)，年齡，班長(zhǎng)）“班長(zhǎng)”屬性值可以取兩類值：（1）空值，表示該學(xué)生所在班級(jí)尚未選出班長(zhǎng)，或該學(xué)生本人即是班長(zhǎng)；（2）非空值，這時(shí)該值必須是本關(guān)系中某個(gè)元組的學(xué)號(hào)值.2.3.3用戶定義的完整性用戶定義的完整性是針對(duì)某一具體關(guān)系數(shù)據(jù)庫(kù)的約束條件，反映某一具體應(yīng)用所涉及的數(shù)據(jù)必須滿足的語(yǔ)義要求。關(guān)系模型應(yīng)提供定義和檢驗(yàn)這類完整性的機(jī)制，以便用統(tǒng)一的系統(tǒng)的方法處理它們，而不要由應(yīng)用程序承擔(dān)這一功能