數(shù)據(jù)庫關(guān)系代數(shù)除法講解

1、精選歡迎下載【數(shù)據(jù)庫原理】關(guān)系代數(shù)篇一一除法講解除法運算的一般形式示意圖S余數(shù)關(guān)系R關(guān)系S講解： 有關(guān)系R和關(guān)系 關(guān)系R,句含乩B、匸三個屬性ABCalblc2a2b3c7a3b4c6alb2Cl34b6c6a2b2c3alb2C3關(guān)系“包含氛 GD三個屬性BCDblC2dlb2cldlb2c3d2如何計算 R 卅 呢，首先我們引進”象集”的概念，具體意義看下面的陳述即可理解關(guān)系 R 和關(guān)系 S 擁有共同的屬性 B、C , R 卅 得到的屬性值就是關(guān)系 R 包含而關(guān)系 S 不包含的屬性，即 A 屬性在 R 關(guān)系中 A 屬性的值可以取 al , a2 , a3 , a4 al 值對應(yīng)的象集為(b

2、1,c2), (b2,c1),(b2,c3)a2 值對應(yīng)的象集為(b3,c7), (b2,c3) 陳宇超編輯總結(jié)精選歡迎下載a3 值對應(yīng)的象集為（b4,c6） a4 值對應(yīng)的象集為（b6,c6） 【例題一】為了更好的理解除法的實際作用，請看下面的例題 設(shè)有教學(xué)數(shù)據(jù)庫有 3個關(guān)系（以下四小問均用除法的思想解決）學(xué)生信息關(guān)系 student （ sno，sname， age，sex）學(xué)生選課關(guān)系 sc（ sno，eno，score）學(xué)校課程關(guān)系 course （ eno，cname）Student 表snosn ameagesexS001陳曉16男S002周倩21女S003華南19男S004曹勻2

3、1女關(guān)系 S 在 B、C 上的投影為（b1,c2）,(b2,c1)(b2,c3)只有 al 值對應(yīng)的象集包含關(guān)系S 的投影集，所以只有 al 應(yīng)該包含在 A 屬性中精選歡迎下載S005鄭威20男精選歡迎下載Course 表enocn ameC001計算機科學(xué)C002詩歌鑒賞C003資本論SC 表snoenoscoreS001C00188S001C00295S001C00399S002C00197S002C00384S003C00269S005C00277S005C00398SQL 語言中沒有全稱量詞，具體實現(xiàn)時可以把帶有全稱量詞的謂詞轉(zhuǎn)換為等價的帶有存在量詞的謂詞。解決這類的除法冋題一般米用雙

4、嵌套 not exists 來實現(xiàn)帶全稱量詞的查詢解決所謂 forall 的問題。(1) 檢索所學(xué)課程包含了 C002 課程的學(xué)生學(xué)號解 關(guān)系代數(shù)表達式：nsno ( sc*nno( ocno=002(course)精選歡迎下載Sql 語句從略(2) 求至少選擇了 C001 和 C003 兩門課程的學(xué)生學(xué)號解 關(guān)系代數(shù)表達式：nsno ( sc*Uno( ocno = 001 or cno= 003 (course)Sql 語句select distinct sno from sc A where not exists(select * from course B where cno in (

5、C002,C003) and notexists(select * from sc C where A.sno=C.sno andB.cno=C.cno)也可以采用自連接select s1.sno from (select * from sc wherecno=C001) as s1,(select * from sc where cno=C003) as s2 wheres1.sno=s2.sno(3) 求至少學(xué)習(xí)了學(xué)生 S003 所學(xué) 課程的學(xué)生學(xué)號解 關(guān)系代數(shù)表達式：nsno ( sc*nno( osno = 003 (sc)select distinct sno from sc A w

6、here not exists(select * from sc B where sno=S003 and not exists(select * from sc C where A.sno=C.sno and B.cno=C.cno)(4) 求選擇了全部課程的學(xué)生的學(xué)號解 此例的等價自然語義是，輸出這樣的學(xué)號，不存在某門課程在他的選課記錄精選歡迎下載里沒有選這門課關(guān)系代數(shù)表達式：nsno (sc*Itno(course)Sql 語句select distinct sno from sc A where not exists(select cno from course B where not

7、 exists(select * from sc C where C.sno=A.sno andC.cno=B.cno)(5) 求選擇了全部課程的學(xué)生的學(xué)號和姓名解 關(guān)系代數(shù)表達式：nsno,sn ame(stude nt sc)*Itno (course)Sql 語句select sno,sname from student A where not exists(select cno from course B where not exists(select * from sc C where C.sno=A.sno and C.cno=B.cno)以上小問用group by結(jié)合count語句也是可以實現(xiàn)的，也更好理解 一些。例如 求選擇了全部課程的學(xué)生學(xué)號SELECT sno FROM (SELECT COUNT (*) cnt, SnoFROM SCGROUP BY sno ) TWHERE cnt = ( SELECT COUNT (Cno )FROM COURSE )求至少選擇了C002和C003兩門課程的學(xué)生學(xué)號select sno from sc where cno in(C002,C003) group by sno havingCOUN