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

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

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

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

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

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

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

π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號課程的課程的學(xué)生姓名。.綜合舉例(續(xù))c1←coursec2←course

πo,c2.cpno(c1?c2)

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

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

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

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

.

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

專業(yè)（專業(yè)號，專業(yè)名）

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

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

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

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