數(shù)據(jù)庫原理第7講

數(shù)據(jù)庫系統(tǒng)概論AnIntroductiontoDatabaseSystem第二章關(guān)系數(shù)據(jù)庫(續(xù)）.2.4

關(guān)系代數(shù)(上節(jié)回顧)傳統(tǒng)的集合運算?，?，，專門的關(guān)系運算.1.選擇（Selection）σF(R)選擇運算是從行的角度進(jìn)行的運算σ.2.投影（Projection）πA(R)

π投影操作主要是從列的角度進(jìn)行運算.3.連接（Join）

RS

R.AθS.B

AθBRS.自然連接R

S從R×S的結(jié)果集中，選取在某些公共屬性上具有相同值的元組，組成新的關(guān)系R、S的公共屬性屬性集的交集（名稱及類型相同）公共屬性在結(jié)果中只出現(xiàn)一次.studentInnerjoinstudentscscsnosnamessexsagesdept95001李勇男20CS95002劉晨女19IS95003王敏女18MA95004張立男19ISsnocnograde9500119295001285950013889500229095002380950051100student.snosnamessexsagesdeptsc.snocnograde95001李勇男20CS9500119295001李勇男20CS9500128595001李勇男20CS9500138895002劉晨女19IS9500229095002劉晨女19IS95002380.關(guān)系代數(shù)—外連接是連接運算的擴展，可以處理缺失信息保留非匹配元組外連接左外連接右外連接全外連接.關(guān)系代數(shù)—左外連接取出左側(cè)關(guān)系中所有與右側(cè)關(guān)系的任一元組都不匹配的元組，用空值填充所有來自右側(cè)關(guān)系的屬性，再把產(chǎn)生的元組加到自然連接的結(jié)果上例：.關(guān)系代數(shù)—全外連接左外連接與右外連接的合成.OuterJoin–ExampleLeftOuterJoinstudentsc下一頁student.snosnamessexsagesdeptsc.snocnograde95001李勇男20CS9500119295001李勇男20CS9500128595001李勇男20CS9500138895002劉晨女19IS9500229095002劉晨女19IS9500238095003王敏女18MAnullnullnull95004張立男19ISnullnullnull.OuterJoin–ExampleRightOuterJoinstudentsc下一頁student.snosnamessexsagesdeptsc.snocnograde95001李勇男20CS9500119295001李勇男20CS9500128595001李勇男20CS9500138895002劉晨女19IS9500229095002劉晨女19IS95002380nullnullnullnullnull950051100.OuterJoin–ExampleFullOuterJoinstudentscstudent.snosnamessexsagesdeptsc.snocnograde95001李勇男20CS9500119295001李勇男20CS9500128595001李勇男20CS9500138895002劉晨女19IS9500229095002劉晨女19IS9500238095003王敏女18MAnullnullnull95004張立男19ISnullnullnullnullnullnullnullnull950051100.4）象集Z

給定一個關(guān)系R（X，Z），X和Z為屬性組。當(dāng)t[X]=x時，x在R中的象集（ImagesSet）為：

Zx={t[Z]|tR，t[X]=x}

它表示R中屬性組X上值為x的諸元組在Z上分量的集合。.4）象集ZABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1BCDb1c2d1b2c1d1b2c3d2R÷SAa1RS.4.除（Division）給定關(guān)系R(X，Y)

和S(Y，Z)，其中X，Y，Z為屬性組。R中的Y與S中的Y可以有不同的屬性名，但必須出自相同的域集。R與S的除運算得到一個新的關(guān)系P(X)，P是R中滿足下列條件的元組在X屬性列上的投影：元組在X上分量值x的象集Yx包含S在Y上投影的集合。

R÷S={tr[X]|tr

R∧πY(S)

Yx}

Yx：x在R中的象集，x=tr[X].除(續(xù))2）除操作是同時從行和列角度進(jìn)行運算

3）舉例

[例6](p62)÷RS.除(續(xù))ABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1BCDb1c2d1b2c1d1b2c3d2R÷SAa1RS.分析：在關(guān)系R中，A可以取四個值{a1，a2，a3，a4}a1的象集為{(b1，c2)，(b2，c3)，(b2，c1)}

a2的象集為{(b3，c7)，(b2，c3)}

a3的象集為{(b4，c6)}

a4的象集為{(b6，c6)}S在(B，C)上的投影為

{(b1，c2)，(b2，c1)，(b2，c3)}只有a1的象集包含了S在(B，C)屬性組上的投影所以R÷S={a1}.除（Division）(續(xù))

“除”的實際含義：有一個現(xiàn)實意義的集合，希望在另一個集合中找出“包含”該集合的元組集例，找出選修了所有課程的學(xué)生

“所有課程”

“學(xué)生”

“學(xué)生”

÷“所有課程”例，找出選修了所有劉晨所選課的學(xué)生

“張三所選課”

“學(xué)生”

“學(xué)生”

÷“劉晨所選課”.5．綜合舉例以學(xué)生-課程數(shù)據(jù)庫為例(P.59)[例7]查詢至少選修1號課程和3號課程的學(xué)生號碼

首先建立一個臨時關(guān)系K：

然后求：πSno.Cno(SC)÷K

Cno

1

3.綜合舉例(續(xù))例7續(xù)πSno.Cno(SC)

95001象集{1，2，3} 95002象集{2，3}

πCno(K)={1，3}

于是：πSno.Cno(SC)÷K={95001}SnoCno950011950012950013950022950023.綜合舉例(續(xù))[例8]查詢選修了2號課程的學(xué)生的學(xué)號。

πSno（σCno='2'（SC））＝｛95001，95002｝

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

πSname(σCpno='5'(CourseSCStudent))或

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

.綜合舉例(續(xù))[例10]查詢選修了全部課程的學(xué)生號碼和姓名。

πSno，Cno（SC）÷πCno（Course）πSno，Sname（Student）

.§4.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)系學(xué)生（學(xué)號，姓名，性別，專業(yè)號，年齡）專業(yè)（專業(yè)號，專業(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中某個元組的主碼值。.參