02 關(guān)系數(shù)據(jù)庫基本原理關(guān)系模型和關(guān)系代數(shù)

1、關(guān)系數(shù)據(jù)庫基本原理關(guān)系數(shù)據(jù)庫基本原理（1）關(guān)系模型與關(guān)系代數(shù)）關(guān)系模型與關(guān)系代數(shù)王傳棟王傳棟南京郵電大學(xué)計算機(jī)學(xué)院南京郵電大學(xué)計算機(jī)學(xué)院內(nèi)容與要求內(nèi)容與要求n知識知識點點q（1）知識點一：關(guān)系模型概述）知識點一：關(guān)系模型概述q（2）知識點二：關(guān)系數(shù)據(jù)結(jié)構(gòu)）知識點二：關(guān)系數(shù)據(jù)結(jié)構(gòu)q（3）知識點三：關(guān)系代數(shù)理論）知識點三：關(guān)系代數(shù)理論q（4）知識點四：關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言）知識點四：關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言sqlq（5）知識點五：關(guān)系數(shù)據(jù)庫的規(guī)范化理論）知識點五：關(guān)系數(shù)據(jù)庫的規(guī)范化理論q實驗實驗1 sql語言的應(yīng)用語言的應(yīng)用n教學(xué)基本要求教學(xué)基本要求q了解關(guān)系數(shù)據(jù)結(jié)構(gòu)的基本概念，了解關(guān)系模型的各種操作和關(guān)

2、了解關(guān)系數(shù)據(jù)結(jié)構(gòu)的基本概念，了解關(guān)系模型的各種操作和關(guān)系代數(shù)的基本原理，掌握關(guān)系數(shù)據(jù)模型的完整性約束機(jī)制，系代數(shù)的基本原理，掌握關(guān)系數(shù)據(jù)模型的完整性約束機(jī)制，掌掌握握sql語言，了解函數(shù)依賴等基本概念，掌握關(guān)系模式的規(guī)范語言，了解函數(shù)依賴等基本概念，掌握關(guān)系模式的規(guī)范化概念、方法、原理與過程。化概念、方法、原理與過程。引言引言n關(guān)系模型是當(dāng)前的主流邏輯數(shù)據(jù)模型關(guān)系模型是當(dāng)前的主流邏輯數(shù)據(jù)模型 q由由ibm公司的高級研究員公司的高級研究員e.f.codd于于1970年提出年提出 n應(yīng)用廣泛的原因：應(yīng)用廣泛的原因：q單一的數(shù)據(jù)建模概念單一的數(shù)據(jù)建模概念 q堅實的數(shù)學(xué)理論基礎(chǔ)堅實的數(shù)學(xué)理論基礎(chǔ) q提

3、供高級接口：數(shù)據(jù)庫語言提供高級接口：數(shù)據(jù)庫語言sql關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型（關(guān)系模型（relational model）q用二維表格表示實體集，用關(guān)鍵碼表示實體之間聯(lián)系的數(shù)據(jù)模用二維表格表示實體集，用關(guān)鍵碼表示實體之間聯(lián)系的數(shù)據(jù)模型稱為關(guān)系模型型稱為關(guān)系模型q理解理解n用二維表格（用二維表格（table）表示實體集及其間聯(lián)系，表示實體集及其間聯(lián)系，n用關(guān)鍵碼（或鍵）進(jìn)行數(shù)據(jù)導(dǎo)航用關(guān)鍵碼（或鍵）進(jìn)行數(shù)據(jù)導(dǎo)航n關(guān)系模型是邏輯模型的一種，也具有三個要素關(guān)系模型是邏輯模型的一種，也具有三個要素q關(guān)系數(shù)據(jù)結(jié)構(gòu)關(guān)系數(shù)據(jù)結(jié)構(gòu)q關(guān)系操作關(guān)系操作q數(shù)據(jù)完整性約束規(guī)則數(shù)據(jù)完整性約束規(guī)則關(guān)系

4、模型的基本概念關(guān)系模型的基本概念n示例示例 sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 cno cname credit credithours cpno tno c1 math 3 48 null t1 c2 english 4 64 null t2 c3 pm 2 32 c2 t2 c4 db 3.5 56 c1 t1 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2

5、 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 tno tname title sex t1 zhao 講師講師 m t2 liu 教授教授 f sc（sno，cno，grade） 字段含義：學(xué)號，課程號，成績字段含義：學(xué)號，課程號，成績 s（sno，sname，age，sex，nativeplace） 字段含義：學(xué)號，姓名，年齡，性別，籍貫字段含義：學(xué)號，姓名，年齡，性別，籍貫 t（tno，tname，title，sex） 字段含義：教師號，教師姓名，職稱，性別字段含義：教師號，教師姓名，職稱，性別 c（cno，cname，cred

6、it，credithours，cpno，tno） 字段含義：課程號，課程名，學(xué)分，學(xué)時數(shù)，先修課號，授課教師號字段含義：課程號，課程名，學(xué)分，學(xué)時數(shù)，先修課號，授課教師號 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系數(shù)據(jù)結(jié)構(gòu)：二維表關(guān)系數(shù)據(jù)結(jié)構(gòu)：二維表q字段稱為屬性，也稱為列（字段稱為屬性，也稱為列（column）n反映事物的一個特征，每個字段都有字段名和字段值反映事物的一個特征，每個字段都有字段名和字段值n屬性的取值范圍屬性的取值范圍(所有可取值的集合所有可取值的集合) 稱為屬性域稱為屬性域domain n大寫字母大寫字母a、b、c、 表示單個屬性；大寫字母表示單個屬性；大寫字母 、x、y、z

7、 表示屬性集表示屬性集n小寫字母小寫字母a、b、c、 表示屬性值表示屬性值q記錄稱為元組（記錄稱為元組（tuple），），也稱為行（也稱為行（row）n記錄類型稱為關(guān)系模式，由模式名和屬性列表組成記錄類型稱為關(guān)系模式，由模式名和屬性列表組成n元組集合稱為關(guān)系（元組集合稱為關(guān)系（relation）或?qū)嵗ɑ驅(qū)嵗╥nstance），），也稱也稱為表格為表格關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系數(shù)據(jù)結(jié)構(gòu)：二維表關(guān)系數(shù)據(jù)結(jié)構(gòu)：二維表q元組用關(guān)鍵字（元組用關(guān)鍵字（key word簡稱鍵）來標(biāo)識簡稱鍵）來標(biāo)識q屬性個數(shù)稱為元數(shù)（屬性個數(shù)稱為元數(shù)（arity），），也稱為目也稱為目q元組個數(shù)為基數(shù)（元

8、組個數(shù)為基數(shù)（cardinality） r r a a b b c c d d e e a a1 1 b b1 1 c c1 1 d d1 1 e e1 1 a a2 2 b b2 2 c c2 2 d d2 2 e e2 2 a a3 3 b b3 3 c c3 3 d d3 3 e e3 3 a a4 4 b b4 4 c c4 4 d d4 4 e e4 4 一般術(shù)語一般術(shù)語關(guān)系模型術(shù)語關(guān)系模型術(shù)語字段、數(shù)據(jù)項字段、數(shù)據(jù)項屬性屬性記錄類型記錄類型關(guān)系模式關(guān)系模式記錄記錄1 1元組元組1 1記錄記錄2 2元組元組2 2記錄記錄3 3元組元組3 3記錄記錄4 4元組元組4 4字段值字段值屬性

9、值屬性值文文件件關(guān)關(guān)系系r（a，b，c，d，e）關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)鍵碼（關(guān)鍵碼（key，簡稱鍵）簡稱鍵）q由一個或多個屬性組成。在實際使用中，有下列幾種鍵由一個或多個屬性組成。在實際使用中，有下列幾種鍵q1）超鍵（）超鍵（super key）n其值能唯一地決定其它所有屬性的值的屬性集其值能唯一地決定其它所有屬性的值的屬性集q2）候選鍵（候選鍵（candidate key）n不含多余屬性的超鍵不含多余屬性的超鍵n其值能唯一地決定關(guān)系中其它所有屬性的值、而它的任何真其值能唯一地決定關(guān)系中其它所有屬性的值、而它的任何真子集無此性質(zhì)的屬性或?qū)傩越M子集無此性質(zhì)的屬性或?qū)傩越M q3）

10、主鍵（主鍵（primary key）n用戶選作元組標(biāo)識的候選鍵，稱為主鍵（用戶選作元組標(biāo)識的候選鍵，稱為主鍵（pk），），簡稱鍵簡稱鍵關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)鍵碼（關(guān)鍵碼（key，簡稱鍵）簡稱鍵）q4）候補(bǔ)鍵（）候補(bǔ)鍵（alternate key）n主鍵之外的候選鍵主鍵之外的候選鍵q5）全鍵）全鍵 ：由關(guān)系的所有屬性構(gòu)成的主鍵由關(guān)系的所有屬性構(gòu)成的主鍵 q6）外鍵（）外鍵（foreign key，fk）n如果模式如果模式r中的屬性中的屬性k是其它模式的主鍵，那么是其它模式的主鍵，那么k在模式在模式r中中稱為外鍵稱為外鍵n不是本關(guān)系的鍵，卻引用了其它關(guān)系或本關(guān)系的鍵的屬性或不是本

11、關(guān)系的鍵，卻引用了其它關(guān)系或本關(guān)系的鍵的屬性或?qū)傩越M屬性組q7）主屬性與非主屬性）主屬性與非主屬性nsupply( (供應(yīng)商，零件名，工程名供應(yīng)商，零件名，工程名) ) 項目項目供應(yīng)供應(yīng)mp零件零件供應(yīng)商供應(yīng)商2.1 關(guān)系模型的基本概念關(guān)系模型的基本概念n示例示例q關(guān)系模式關(guān)系模式student（學(xué)號，姓名，性別，出生日期，籍貫）學(xué)號，姓名，性別，出生日期，籍貫）q假設(shè)：不允許學(xué)生重名，問：假設(shè)：不允許學(xué)生重名，問：n（學(xué)號，姓名，性別，出生日期，籍貫）？（學(xué)號，姓名，性別，出生日期，籍貫）？n（學(xué)號，性別）？（學(xué)號，性別）？n（學(xué)號，姓名）？（學(xué)號，姓名）？n（學(xué)號）？（學(xué)號）？n（姓名）？

12、（姓名）？n哪些是主屬性？哪些是主屬性？關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系的定義和性質(zhì)關(guān)系的定義和性質(zhì)q關(guān)系是一個屬性數(shù)目相同的元組的集合關(guān)系是一個屬性數(shù)目相同的元組的集合n有限關(guān)系有限關(guān)系q在關(guān)系模型中，關(guān)系的規(guī)范性限制：在關(guān)系模型中，關(guān)系的規(guī)范性限制：n1）關(guān)系中每一個屬性值都是不可分解的（原子的）關(guān)系中每一個屬性值都是不可分解的（原子的）n2）關(guān)系中不允許出現(xiàn)重復(fù)元組（即不允許出現(xiàn)相同的元組）關(guān)系中不允許出現(xiàn)重復(fù)元組（即不允許出現(xiàn)相同的元組）n3）由于關(guān)系是一個集合，因此不考慮元組間的順序，即沒）由于關(guān)系是一個集合，因此不考慮元組間的順序，即沒有行序有行序q注：關(guān)系中元組的排列是

13、有序的，取決于索引注：關(guān)系中元組的排列是有序的，取決于索引n4）元組中的屬性在理論上也是無序的，但使用時按習(xí)慣考）元組中的屬性在理論上也是無序的，但使用時按習(xí)慣考慮列的順序慮列的順序關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q實體完整性規(guī)則（實體完整性規(guī)則（entity integrity rule）n關(guān)系內(nèi)的約束關(guān)系內(nèi)的約束n每個關(guān)系都應(yīng)有一個主鍵每個關(guān)系都應(yīng)有一個主鍵n每個元組的主鍵的值應(yīng)當(dāng)唯一；組成主鍵的屬性，不能有空每個元組的主鍵的值應(yīng)當(dāng)唯一；組成主鍵的屬性，不能有空值（值（null）q否則，主鍵值就起不了惟一標(biāo)識元組的作用否則，主鍵值就起不了惟一標(biāo)

14、識元組的作用關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q實體完整性規(guī)則（實體完整性規(guī)則（entity integrity rule）n例如例如 s（sno，sname，age，sex，nativeplace） 字段含義：學(xué)號，姓名，年齡，性別，籍貫字段含義：學(xué)號，姓名，年齡，性別，籍貫 create table s ( sno char(3) , sname char(8) , age integer , sex char(1) , nativeplace varchar(20) , primary key (sno) , check (sex in (m,

15、 f) ) ) ; sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s2 hu 17 m 上海上海 null xia 19 f 四川四川 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q參照完整性規(guī)則（參照完整性規(guī)則（reference integrity rule）n不同關(guān)系或同一關(guān)系的不同元組間的約束不同關(guān)系或同一關(guān)系的不同元組間的約束n參照完整性規(guī)則的形式定義參照完整性規(guī)則的形式定義q如果屬性集如果屬性集k是關(guān)系模式是關(guān)系模式r1的主鍵，的主鍵，k也是關(guān)系模式也是關(guān)系模式r2

16、的的外鍵，那么在外鍵，那么在r2的關(guān)系中，的關(guān)系中，k的取值只允許兩種可能，或的取值只允許兩種可能，或者為空值，或者等于者為空值，或者等于r1關(guān)系中某個主鍵值關(guān)系中某個主鍵值n規(guī)則的實質(zhì)：規(guī)則的實質(zhì)：不允許引用不存在的實體不允許引用不存在的實體n在上述形式定義中在上述形式定義中q關(guān)系模式關(guān)系模式r1的關(guān)系稱為的關(guān)系稱為“參照關(guān)系參照關(guān)系”，也稱，也稱“主表主表”、“父表父表”q關(guān)系模式關(guān)系模式r2的關(guān)系稱為的關(guān)系稱為“依賴關(guān)系依賴關(guān)系”，也稱，也稱“副表副表”、“子表子表”關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q參照完整性規(guī)則（參照完整性規(guī)則（refer

17、ence integrity rule）n規(guī)則在具體使用時，有三點變通：規(guī)則在具體使用時，有三點變通：n外鍵和相應(yīng)主鍵可以不同名，只要定義在相同值域上即可外鍵和相應(yīng)主鍵可以不同名，只要定義在相同值域上即可nr1和和r2可以是不同關(guān)系模式，也可以是同一個關(guān)系模式可以是不同關(guān)系模式，也可以是同一個關(guān)系模式q同一個關(guān)系模式中，表示了同一個關(guān)系中不同元組之間的同一個關(guān)系模式中，表示了同一個關(guān)系中不同元組之間的聯(lián)系聯(lián)系n外鍵值是否允許空，應(yīng)視具體問題而定外鍵值是否允許空，應(yīng)視具體問題而定q當(dāng)外鍵屬性是主鍵的組成成分時，不允許為空當(dāng)外鍵屬性是主鍵的組成成分時，不允許為空關(guān)系模型的基本概念關(guān)系模型的基本概念

18、n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q參照完整性規(guī)則（參照完整性規(guī)則（reference integrity rule）n示例示例 sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 cno cname credit credithours cpno tno c1 math 3 48 null t1 c2 english 4 64 c5 t2 c3 pm 2 32 c2 t4 c4 db 3.5 56 c1 null sno cno grade

19、s1 c2 80 s1 c3 70 s1 c5 85 s2 c1 60 s2 c2 75 s2 null 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s6 c4 75 tno tname title sex t1 zhao 講師講師 m t2 liu 教授教授 f 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q用戶定義的完整性規(guī)則用戶定義的完整性規(guī)則n和數(shù)據(jù)的具體內(nèi)容有關(guān)的約束和數(shù)據(jù)的具體內(nèi)容有關(guān)的約束n構(gòu)建關(guān)系模式時，屬性的數(shù)據(jù)類型，可能滿足不了需求，需構(gòu)建關(guān)系模式時，屬性的數(shù)據(jù)類型，可能滿足不了需求，需要要顯式定義顯式

20、定義額外的約束規(guī)則說明額外的約束規(guī)則說明qcheck()子句、觸發(fā)器、斷言、過程子句、觸發(fā)器、斷言、過程n說明說明q各種各種dbms產(chǎn)品對完整性約束的支持程度不同產(chǎn)品對完整性約束的支持程度不同q 數(shù)據(jù)庫中完整性約束檢查，由數(shù)據(jù)庫中完整性約束檢查，由dbms實現(xiàn)對實現(xiàn)對db進(jìn)行更新進(jìn)行更新 (i/d/u)操作時檢查，保證數(shù)據(jù)與現(xiàn)實世界的一致性操作時檢查，保證數(shù)據(jù)與現(xiàn)實世界的一致性關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整性規(guī)則關(guān)系模型的完整性規(guī)則q用戶定義的完整性規(guī)則用戶定義的完整性規(guī)則n示例示例1 s（sno，sname，age，sex，nativeplace） 字段含義：學(xué)號，姓名

21、，年齡，性別，籍貫字段含義：學(xué)號，姓名，年齡，性別，籍貫 create table s ( sno char(3) , sname char(8) , age integer , sex char(1) , nativeplace varchar(20) , primary key (sno) , check (sex in (m, f) ) ); sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 k 四川四川 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的完整

22、性規(guī)則關(guān)系模型的完整性規(guī)則q用戶定義的完整性規(guī)則用戶定義的完整性規(guī)則n示例示例2 sc（sno，cno，grade） 字段含義：學(xué)號，課程號，成績字段含義：學(xué)號，課程號，成績 create table sc ( sno char(3) , cno char(3) , grade dec(5, 2) , primary key (sno, cno) , foreign key (sno) references s(sno) , foreign key (cno) references c(cno) , check (grade is null or grade between 0 and 100

23、) ) ; sno cno grade s1 c2 80 s1 c3 70 s1 c5 85 s2 c1 60 s2 c2 75 s2 null 90 s2 c4 null s3 c1 -5 s3 c4 80 s4 c2 101 s6 c4 75 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q關(guān)系模式關(guān)系模式n記錄類型稱為關(guān)系模式記錄類型稱為關(guān)系模式n關(guān)系模式的集合就是數(shù)據(jù)庫的概念模式，是問題域數(shù)據(jù)的全關(guān)系模式的集合就是數(shù)據(jù)庫的概念模式，是問題域數(shù)據(jù)的全局邏輯視圖局邏輯視圖n是對數(shù)據(jù)的特征

24、描述，不涉及物理存儲方面的描述是對數(shù)據(jù)的特征描述，不涉及物理存儲方面的描述n由數(shù)據(jù)定義語言（由數(shù)據(jù)定義語言（ddl）實現(xiàn)實現(xiàn)q定義模式名、屬性名、值域、模式主鍵定義模式名、屬性名、值域、模式主鍵q定義時，模式名和屬性名一般都用英文單詞表示定義時，模式名和屬性名一般都用英文單詞表示 sc（sno，cno，grade） s（sno，sname，age，sex，nativeplace） t（tno，tname，title，sex） c（cno，cname，credit，credithours，cpno，tno） 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模

25、型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q關(guān)系模式關(guān)系模式 用戶用戶(應(yīng)用程序應(yīng)用程序)用戶記錄用戶記錄模式模式/內(nèi)模式映像內(nèi)模式映像外模式外模式模式模式內(nèi)模式內(nèi)模式db模式模式/外模式映像外模式映像關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q子模式子模式n是用戶所用到的局部數(shù)據(jù)的描述是用戶所用到的局部數(shù)據(jù)的描述n構(gòu)建子模式時，需要指出數(shù)據(jù)與關(guān)系模式中相應(yīng)數(shù)據(jù)的聯(lián)系構(gòu)建子模式時，需要指出數(shù)據(jù)與關(guān)系模式中相應(yīng)數(shù)據(jù)的聯(lián)系n由數(shù)據(jù)定義語言（由數(shù)據(jù)定義語言（ddl）實現(xiàn)實現(xiàn)

26、q定義時需要考慮用戶對數(shù)據(jù)的操作權(quán)限定義時需要考慮用戶對數(shù)據(jù)的操作權(quán)限q對子模式的操作（如插入、修改、刪除）是受限的對子模式的操作（如插入、修改、刪除）是受限的關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q子模式子模式n例如例如q構(gòu)建成績子模式構(gòu)建成績子模式，要求顯示學(xué)號、姓名、課程號和成績要求顯示學(xué)號、姓名、課程號和成績 create view g ( s#, sname, c#, score) as select s.sno, sname, cno, grade from s, sc

27、where s.sno = sc.sno g(s#，sname，c#，score) 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q子模式子模式 用戶用戶(應(yīng)用程序應(yīng)用程序)用戶記錄用戶記錄模式模式/內(nèi)模式映像內(nèi)模式映像外模式外模式模式模式內(nèi)模式內(nèi)模式db模式模式/外模式映像外模式映像 sno sname age sex nativeplace s1 wang 20 m 北京北京 sno cno grade s1 c2 80 s# sname c# score s1 wang c2 80 s

28、 sc g 關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型的三層體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)關(guān)系模型也遵循數(shù)據(jù)庫的三級體系結(jié)構(gòu)q存儲模式存儲模式n在有些在有些dbms中，關(guān)系存儲是作為文件看待的中，關(guān)系存儲是作為文件看待的n每個元組就是一個記錄每個元組就是一個記錄n由于關(guān)系模式有鍵，因此存儲一個關(guān)系可用散列方法或索引由于關(guān)系模式有鍵，因此存儲一個關(guān)系可用散列方法或索引方法實現(xiàn)方法實現(xiàn)n如果關(guān)系的元組數(shù)目較少（如果關(guān)系的元組數(shù)目較少（100個以內(nèi)），那么也可以用個以內(nèi)），那么也可以用“堆文件堆文件”方式實現(xiàn)（即沒有特定的次序）方式實現(xiàn)（即沒有特定的次序）n可對

29、任意的屬性集建立輔助索引可對任意的屬性集建立輔助索引關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的形式定義和優(yōu)點關(guān)系模型的形式定義和優(yōu)點q關(guān)系模型的三個要素關(guān)系模型的三個要素n1）關(guān)系數(shù)據(jù)結(jié)構(gòu)）關(guān)系數(shù)據(jù)結(jié)構(gòu)q關(guān)系，二維表關(guān)系，二維表q數(shù)據(jù)庫中全部數(shù)據(jù)及其相互聯(lián)系都被組織成數(shù)據(jù)庫中全部數(shù)據(jù)及其相互聯(lián)系都被組織成“關(guān)系關(guān)系” n2）關(guān)系操作）關(guān)系操作q一組完備的關(guān)系運算，支持對數(shù)據(jù)庫的各種操作一組完備的關(guān)系運算，支持對數(shù)據(jù)庫的各種操作q關(guān)系運算分成關(guān)系代數(shù)、關(guān)系演算和關(guān)系邏輯等三類關(guān)系運算分成關(guān)系代數(shù)、關(guān)系演算和關(guān)系邏輯等三類n3）數(shù)據(jù)完整性約束規(guī)則）數(shù)據(jù)完整性約束規(guī)則q實體完整性、參照完整性和

30、用戶自定義的完整性實體完整性、參照完整性和用戶自定義的完整性關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系模型的形式定義和優(yōu)點關(guān)系模型的形式定義和優(yōu)點q關(guān)系模型的優(yōu)點關(guān)系模型的優(yōu)點n1）單一的數(shù)據(jù)結(jié)構(gòu)形式，具有高度的簡明性和精確性）單一的數(shù)據(jù)結(jié)構(gòu)形式，具有高度的簡明性和精確性n2）邏輯結(jié)構(gòu)和相應(yīng)的操作，完全獨立于數(shù)據(jù)存儲方式）邏輯結(jié)構(gòu)和相應(yīng)的操作，完全獨立于數(shù)據(jù)存儲方式q具有高度的數(shù)據(jù)獨立性具有高度的數(shù)據(jù)獨立性n3）堅實的數(shù)學(xué)基礎(chǔ)）堅實的數(shù)學(xué)基礎(chǔ)q關(guān)系運算的完備性和規(guī)范化設(shè)計理論關(guān)系運算的完備性和規(guī)范化設(shè)計理論n4）數(shù)據(jù)庫技術(shù)的基礎(chǔ)）數(shù)據(jù)庫技術(shù)的基礎(chǔ)q關(guān)系數(shù)據(jù)庫語言與一階謂詞邏輯的固有內(nèi)在聯(lián)系，為

31、以關(guān)關(guān)系數(shù)據(jù)庫語言與一階謂詞邏輯的固有內(nèi)在聯(lián)系，為以關(guān)系數(shù)據(jù)庫為基礎(chǔ)的推理系統(tǒng)和知識庫系統(tǒng)研究提供了方便系數(shù)據(jù)庫為基礎(chǔ)的推理系統(tǒng)和知識庫系統(tǒng)研究提供了方便關(guān)系模型的基本概念關(guān)系模型的基本概念n關(guān)系查詢語言和關(guān)系運算關(guān)系查詢語言和關(guān)系運算q數(shù)據(jù)庫語言數(shù)據(jù)庫語言sql分為：分為：ddl，dml、ql和和dclq數(shù)據(jù)操縱語言數(shù)據(jù)操縱語言dml，描述插入、刪除、修改等操作描述插入、刪除、修改等操作q查詢語言查詢語言ql，描述用戶的各種檢索要求描述用戶的各種檢索要求n理論基礎(chǔ)是理論基礎(chǔ)是“關(guān)系運算理論關(guān)系運算理論”，分為，分為3部分：部分：q1）關(guān)系代數(shù)語言）關(guān)系代數(shù)語言q2）關(guān)系演算語言）關(guān)系演算語言

32、q3）關(guān)系邏輯語言）關(guān)系邏輯語言關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q并（并（union）n前提前提q相同的關(guān)系模式相同的關(guān)系模式（并兼容：兩關(guān)系具有相同的目，對應(yīng)屬（并兼容：兩關(guān)系具有相同的目，對應(yīng)屬性域相同且兩個關(guān)系的屬性排列次序一樣）性域相同且兩個關(guān)系的屬性排列次序一樣）n定義定義qr和和s的并，是由屬于的并，是由屬于r或?qū)儆诨驅(qū)儆趕的元組構(gòu)成的集合的元組構(gòu)成的集合q記為記為rsn形式定義形式定義qrs t | tr ts，t是元組變量是元組變量關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q差（差（difference）n前提前提q相同的關(guān)系模式相同的關(guān)系模式（并兼容：兩關(guān)系具有相同

33、的目，對應(yīng)屬（并兼容：兩關(guān)系具有相同的目，對應(yīng)屬性域相同且兩個關(guān)系的屬性排列次序一樣）性域相同且兩個關(guān)系的屬性排列次序一樣）n定義定義qr和和s的差，是由屬于的差，是由屬于r但不屬于但不屬于s的元組構(gòu)成的集合的元組構(gòu)成的集合q記為記為rsn形式定義形式定義qrs t | tr ts， t是元組變量是元組變量關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q笛卡爾積（笛卡爾積（cartesian product）n形式定義形式定義q假設(shè)：假設(shè)：r的元數(shù)的元數(shù)r，基數(shù)為基數(shù)為m；s的元數(shù)的元數(shù)s，基數(shù)為基數(shù)為nqrst | t trr tss rs的元數(shù)為的元數(shù)為r + s，基數(shù)基數(shù)mn 參與運算的參與

34、運算的r和和s關(guān)系，不要求有同名屬性關(guān)系，不要求有同名屬性 若有同名屬性，在屬性名前加若有同名屬性，在屬性名前加“關(guān)系名關(guān)系名.”來標(biāo)注來標(biāo)注關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q投影（投影（projection）n對關(guān)系進(jìn)行垂直分割（感興趣的列），屬性可任意排列對關(guān)系進(jìn)行垂直分割（感興趣的列），屬性可任意排列n表示表示q（）n形式定義形式定義qi1，im(r)t | t r n性質(zhì)性質(zhì)q(（r） ) （r）屬性表屬性表1屬性表屬性表2關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q選擇（選擇（selection）n據(jù)條件對關(guān)系做水平分割，選取符合條件的元組據(jù)條件對關(guān)系做水平分割，選取符合條

35、件的元組n表示表示q（） f（r），），f是命題公式是命題公式 n形式定義形式定義qf（r） t | tr f（t）= true n性質(zhì)性質(zhì)qa) (r) ) （r）qb) ( ( r) (r)關(guān)系代數(shù)關(guān)系代數(shù)n五個基本操作五個基本操作q示例示例 a b c 1 2 3 4 5 6 7 8 9 關(guān)系關(guān)系 r a b c 1 2 3 4 5 6 7 8 9 2 4 6 （a）rs a b c 1 2 3 7 8 9 （b）rs c a 3 1 6 4 9 7 （d）c，a（r） r.a r.b r.c s.a s.b s.c 1 2 3 2 4 6 1 2 3 4 5 6 4 5 6 2 4 6

36、 4 5 6 4 5 6 7 8 9 2 4 6 7 8 9 4 5 6 （c）rs a b c 4 5 6 7 8 9 （e）b4（r） a b c 2 4 6 4 5 6 關(guān)系關(guān)系 s 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q交（交（intersection）n前提前提q相同的關(guān)系模式相同的關(guān)系模式（并兼容：兩關(guān)系具有相同的目，對應(yīng)屬（并兼容：兩關(guān)系具有相同的目，對應(yīng)屬性域相同且兩個關(guān)系的屬性排列次序一樣）性域相同且兩個關(guān)系的屬性排列次序一樣）n定義定義qr和和s的交，是由屬于的交，是由屬于r又屬于又屬于s的元組構(gòu)成的集合的元組構(gòu)成的集合q記為記為rsn形式定義形式定義qrs ttr

37、ts n推導(dǎo)推導(dǎo)qrs = r-（r-s），），或或 rs = s-（s-r） r s 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q交（交（intersection）n示例示例 a b c 1 2 3 4 5 6 7 8 9 關(guān)系關(guān)系 r a b c 2 4 6 4 5 6 關(guān)系關(guān)系 s a b c 4 5 6 rs 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q連接（連接（join）n形式定義形式定義qr s tt = trrtsstritsj n推導(dǎo)推導(dǎo)qr s i(r+j) （r s），），其中其中r是關(guān)系是關(guān)系r的元數(shù)的元數(shù)q表示連接是在表示連接是在（r s）中，挑選第中，挑選第i個分量

38、和第個分量和第(r+j)個分個分量滿足量滿足操作的元組操作的元組n說明：說明：兩個關(guān)系的同域?qū)傩员容^兩個關(guān)系的同域?qū)傩员容^q連接：連接： ， ， ， ， ， q等值連接：等值連接： qf連接：連接： f f1 fn，fk i j （、） ij ij 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q連接（連接（join）n示例示例q1）連接：連接： r s， 或或 r sq2）等值連接：）等值連接： r s，或或 r sq3）f連接：連接： r s， 或或 r s a b c 1 2 3 4 5 6 7 2 9 關(guān)系關(guān)系 r d e 2 4 5 6 7 8 關(guān)系關(guān)系 s a b c d e 4 5

39、6 2 4 4 5 6 5 6 7 8 9 2 4 7 8 9 5 6 7 8 9 7 8 （1） a b c d e 1 2 3 2 4 4 5 6 5 6 7 2 9 2 4 （2） 2=1 r.b = s.d 3=2 r.c = s.e 3=22=s.er.b=s.d a b c d e 4 5 6 5 6 （3） 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q自然連接（自然連接（natural join）n兩個關(guān)系公共屬性上的等值連接兩個關(guān)系公共屬性上的等值連接n推導(dǎo)推導(dǎo)qr s = i1,im （r.a1=s.a1 r.ak=s.ak （rs）qa1，ak是關(guān)系是關(guān)系r和和s的公共屬性

40、列表的公共屬性列表qi1,im是兩個關(guān)系屬性的并集是兩個關(guān)系屬性的并集n計算過程計算過程 q1) 計算計算rsq2) 選擇：在選擇：在rs中，挑選滿足公共屬性相等的元組中，挑選滿足公共屬性相等的元組q3) 投影：在投影：在rs中，去掉冗余屬性中，去掉冗余屬性s.a1， s.ak關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q自然連接（自然連接（natural join）n示例示例qr s a, r.b, r.c, d （r.b = s.b r.c = s.c （rs）n注：注：q參與自然連接運算的參與自然連接運算的2個關(guān)系，若沒有公共屬性，則自然個關(guān)系，若沒有公共屬性，則自然連接運算自動轉(zhuǎn)化為笛卡

41、爾積運算。連接運算自動轉(zhuǎn)化為笛卡爾積運算。 a b c 2 4 6 3 5 7 7 4 6 關(guān)系關(guān)系 r b c d 5 7 3 4 6 2 5 7 9 關(guān)系關(guān)系 s a b c d 2 4 6 2 3 5 7 3 3 5 7 9 7 4 6 2 結(jié)果結(jié)果 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q除法（除法（division）n前提前提qr中的屬性包含中的屬性包含s中的屬性中的屬性 r(x，y)，s(y) n作用作用qrs是滿足下列條件的最大關(guān)系，屬性由是滿足下列條件的最大關(guān)系，屬性由r中那些不出現(xiàn)中那些不出現(xiàn)在在s的屬性組成，的屬性組成，(rs) s的每個元組都在關(guān)系的每個元組都在關(guān)系r

42、中中n計算過程：計算過程： rs = x(r) x(x(r) s ) r)q1) t = x (r) ；x為不包含在為不包含在s中的屬性中的屬性q2) w = (ts)r ；計算計算ts中不在中不在r的元組的元組q3) v = x(w)q4) rs = tv c d c d e fs a b c d a b c d a b e f a b d e b c e f e d c d e d e fr 關(guān)系代數(shù)關(guān)系代數(shù)n四個組合操作四個組合操作q除法（除法（division）n示例示例 b c c db c c d a b c d a b c d a b e f b c c d b c e f e

43、d c d e d e f （2.1）(ts) a b a b b c e d （1）t = x (r) a b c d b c e f （2.2）w = (ts)r a b b c （3）v = x(w) a b a b e d （4）rs = tv 被除關(guān)系對除關(guān)系被除關(guān)系對除關(guān)系有覆蓋有覆蓋關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q關(guān)系代數(shù)表達(dá)式關(guān)系代數(shù)表達(dá)式n五個基本操作的有限次復(fù)合的式子五個基本操作的有限次復(fù)合的式子n表達(dá)式的運算結(jié)果仍是一個關(guān)系表達(dá)式的運算結(jié)果仍是一個關(guān)系n用關(guān)系代數(shù)表達(dá)式表示各種數(shù)據(jù)查詢操作用關(guān)系代數(shù)表達(dá)式表示各種數(shù)據(jù)查詢操作關(guān)系代數(shù)關(guān)系代數(shù)

44、n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q關(guān)系代數(shù)表達(dá)式關(guān)系代數(shù)表達(dá)式n示例示例 sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 cno cname credit credithours cpno tno c1 math 3 48 null t1 c2 english 4 64 null t2 c3 pm 2 32 c2 t2 c4 db 3.5 56 c1 t1 sno cno grade s1 c2 80 s1 c3 70 s1 c4 8

45、5 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 tno tname title sex t1 zhao 講師講師 m t2 liu 教授教授 f sc（sno，cno，grade） 字段含義：學(xué)號，課程號，成績字段含義：學(xué)號，課程號，成績 s（sno，sname，age，sex，nativeplace） 字段含義：學(xué)號，姓名，年齡，性別，籍貫字段含義：學(xué)號，姓名，年齡，性別，籍貫 t（tno，tname，title，sex） 字段含義：教師號，教師姓名，職稱，性別字段含義：教師號，教師姓名，

46、職稱，性別 c（cno，cname，credit，credithours，cpno，tno） 字段含義：課程號，課程名，學(xué)分，學(xué)時數(shù)，先修課號，授課教師號字段含義：課程號，課程名，學(xué)分，學(xué)時數(shù)，先修課號，授課教師號 關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q1）檢索學(xué)習(xí)課程號為）檢索學(xué)習(xí)課程號為c2課程的學(xué)生學(xué)號與成績課程的學(xué)生學(xué)號與成績 nsno，grade（cno = c2（sc）n1，3（2 = c2（sc）ncno = c2 （ sno，grade （sc）n2 = c2 （ 1，3 （sc）關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q1）檢索

47、學(xué)習(xí)課程號為）檢索學(xué)習(xí)課程號為c2課程的學(xué)生學(xué)號與成績課程的學(xué)生學(xué)號與成績 nsno，grade（cno = c2（sc）ncno = c2 （ sno，grade （sc） sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 sno grade s1 80 s2 75 s4 85 sno cno grade s1 c2 80 s2 c2 75 s4 c2 85 sno grade s1 80 s1 70 s1 85

48、s2 60 s2 75 s2 90 s2 null s3 85 s3 80 s4 85 s4 75 對應(yīng)的查詢：對應(yīng)的查詢：select sno, gradefrom scwhere cno=c2 ;關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q2）檢索學(xué)習(xí)課程號為）檢索學(xué)習(xí)課程號為c2的學(xué)生學(xué)號與姓名的學(xué)生學(xué)號與姓名nsno，sname（cno = c2（s sc）n查詢涉及到兩個關(guān)系查詢涉及到兩個關(guān)系s與與sc，先要對這兩個關(guān)系進(jìn)行自然連先要對這兩個關(guān)系進(jìn)行自然連接操作，然后再執(zhí)行選擇和投影操作接操作，然后再執(zhí)行選擇和投影操作 sno sname age sex nati

49、veplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 cno cname credit credithours cpno tno c1 math 3 48 null t1 c2 english 4 64 null t2 c3 pm 2 32 c2 t2 c4 db 3.5 56 c1 t1 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85

50、 s4 c4 75 tno tname title sex t1 zhao 講師講師 m t2 liu 教授教授 f 關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q2）檢索學(xué)習(xí)課程號為）檢索學(xué)習(xí)課程號為c2的學(xué)生學(xué)號與姓名的學(xué)生學(xué)號與姓名nsno，sname（cno = c2（s sc） sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 sno sname age sex nativeplace cno grade s1 wang

51、20 m 北京北京 c2 80 s1 wang 20 m 北京北京 c3 70 s1 wang 20 m 北京北京 c4 85 s2 liu 18 f 山東山東 c1 60 s2 liu 18 f 山東山東 c2 75 s2 liu 18 f 山東山東 c3 90 s2 liu 18 f 山東山東 c4 null s3 hu 17 m 上海上海 c1 85 s3 hu 17 m 上海上海 c4 80 s4 xia 19 f 四川四川 c2 85 s4 xia 19 f 四川四川 c4 75 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2

52、 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q2）檢索學(xué)習(xí)課程號為）檢索學(xué)習(xí)課程號為c2的學(xué)生學(xué)號與姓名的學(xué)生學(xué)號與姓名nsno，sname（cno = c2（s sc） sno sname age sex nativeplace cno grade s1 wang 20 m 北京北京 c2 80 s2 liu 18 f 山東山東 c2 75 s4 xia 19 f 四川四川 c2 85 sno sname s1 wang s2 liu s4 xia

53、sno sname age sex nativeplace cno grade s1 wang 20 m 北京北京 c2 80 s1 wang 20 m 北京北京 c3 70 s1 wang 20 m 北京北京 c4 85 s2 liu 18 f 山東山東 c1 60 s2 liu 18 f 山東山東 c2 75 s2 liu 18 f 山東山東 c3 90 s2 liu 18 f 山東山東 c4 null s3 hu 17 m 上海上海 c1 85 s3 hu 17 m 上海上海 c4 80 s4 xia 19 f 四川四川 c2 85 s4 xia 19 f 四川四川 c4 75 對應(yīng)的查

54、詢：對應(yīng)的查詢：select sno，snamefrom s, scwhere s.sno=sc.sno and cno=c2 ;關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q3）檢索至少選修）檢索至少選修liu老師所授課程一門課程的學(xué)老師所授課程一門課程的學(xué) 生學(xué)號與姓名生學(xué)號與姓名 nsno，sname（tname = liu（sscct） sno sname age sex nativeplace s1 wang 20 m 北京北京 s2 liu 18 f 山東山東 s3 hu 17 m 上海上海 s4 xia 19 f 四川四川 cno cname credit cr

55、edithours cpno tno c1 math 3 48 null t1 c2 english 4 64 null t2 c3 pm 2 32 c2 t2 c4 db 3.5 56 c1 t1 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 tno tname title sex t1 zhao 講師講師 m t2 liu 教授教授 f 對應(yīng)的查詢：對應(yīng)的查詢：select s.sno, snamefrom

56、s, sc, c, twhere tname=liu and s.sno= sc.sno and sc.cno=c.cno and c.tno=t.tno ;關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q4）檢索選修課程號為）檢索選修課程號為c2或或c4的學(xué)生學(xué)號的學(xué)生學(xué)號nsno（cno = c2 cno = c4（sc） sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 sno cno grad

57、e s1 c2 80 s1 c4 85 s2 c2 75 s2 c4 null s3 c4 80 s4 c2 85 s4 c4 75 sno s1 s2 s3 s4 對應(yīng)的查詢對應(yīng)的查詢2：select sno from scwhere cno in (c2, c4) ;對應(yīng)的查詢對應(yīng)的查詢1：select snofrom scwhere cno = c2 or cno = c4 ;對應(yīng)的查詢對應(yīng)的查詢3：select snofrom scwhere cno = some(c2, c4) ;n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q5）檢索至少選修課程號為）檢索至少選修課程號為c2和和c

58、4的學(xué)生學(xué)號的學(xué)生學(xué)號nsno（cno = c2 cno = c4（sc） sno 關(guān)系代數(shù)關(guān)系代數(shù) sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 sno cno grade 關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q5）檢索至少選修課程號為）檢索至少選修課程號為c2和和c4的學(xué)生學(xué)號的學(xué)生學(xué)號n1（1 = 4 2 = c2 5 = c4（scsc） sno cno grade s1 c2

59、80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 s2 c2 75 s2 c3 90 s2 c4 null s3 c1 85 s3 c4 80 s4 c2 85 s4 c4 75 sno cno grade s1 c2 80 s1 c2 80 s1 c2 80 s1 c3 70 s1 c3 70 s1 c3 70 s1 c4 85 s1 c4 85 s1 c

60、4 85 s1 c2 80 sno cno grade s1 c2 80 s1 c3 70 s1 c4 85 s1 c2 80 s1 c3 70 s1 c4 85 s1 c2 80 s1 c3 70 s1 c4 85 s2 c1 60 對應(yīng)的查詢：對應(yīng)的查詢：select x.snofrom sc as x, sc as ywhere x.sno=y.sno and x.cno=c2 and y.cno=c4 ;關(guān)系代數(shù)關(guān)系代數(shù)n關(guān)系代數(shù)運算的應(yīng)用實例關(guān)系代數(shù)運算的應(yīng)用實例q6）檢索不學(xué)）檢索不學(xué)c2課的學(xué)生姓名與年齡課的學(xué)生姓名與年齡nsname，age（cno c2（s sc） sno s