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

1、陳宇超編輯總結(jié):除法運(yùn)算的一般形式示意圖如何計(jì)算R寧S呢，首先我們引進(jìn)"象集”的概念，具體意義看下面的陳述即可理解關(guān)系R和關(guān)系S擁有共同的屬性B、C,R十S得到的屬性值就是關(guān)系R包含而關(guān)系S不包含的屬性，即A屬性在R關(guān)系中A屬性的值可以取al,a2,a3,a4al值對(duì)應(yīng)的象集為(bl,c2),(b2,cl),(b2,c3)a2值對(duì)應(yīng)的象集為(b3,c7),(b2,c3)a3值對(duì)應(yīng)的象集為(b4,c6)a4值對(duì)應(yīng)的象集為(b6,c6)關(guān)系S在B、C上的投影為(bl,c2),(b2,cl),(b2,c3)只有al值對(duì)應(yīng)的象集包含關(guān)系S的投影集，所以只有al應(yīng)該包含在A屬性中al【例題一】

2、為了更好的理解除法的實(shí)際作用，請(qǐng)看下面的例題設(shè)有教學(xué)數(shù)據(jù)庫(kù)有3個(gè)關(guān)系(以下四小問(wèn)均用除法的思想解決)學(xué)生信息關(guān)系student(sno,snameage,sex)學(xué)生選課關(guān)系sc(sno,eno,score)學(xué)校課程關(guān)系course(eno,cnam®Student表snosnameagesexS001陳曉16男S002周倩21女S003華南19男S004曹勻21女S005鄭威20男Course表enocnameC001計(jì)算機(jī)科學(xué)C002詩(shī)歌鑒賞C003資本論SC表snoenoscoreS001C00188S001C00295S001C00399S002C00197S002C0038

3、4S003C00269S005C00277S005C00398SQL語(yǔ)言中沒(méi)有全稱量詞，具體實(shí)現(xiàn)時(shí)可以把帶有全稱量詞的謂詞轉(zhuǎn)換為等價(jià)的帶有存在量詞的謂詞。解決這類的除法問(wèn)題一般采用雙嵌套notexists來(lái)實(shí)現(xiàn)帶全稱量詞的查詢解決所謂forall的問(wèn)題。檢索所學(xué)課程包含了C002課程的學(xué)生學(xué)號(hào)解關(guān)系代數(shù)表達(dá)式：nsno(sc寧ncno(ccno='C002(course)Sql語(yǔ)句從略求至少選擇了C001和C003兩門(mén)課程的學(xué)生學(xué)號(hào)解關(guān)系代數(shù)表達(dá)式：nsno(sc寧ncno(ceno='COOforeno='C003，(course)Sql語(yǔ)句selectdistinc

4、tsnofromscAwherenotexistsselect*fromcourseBwhereenoin(C002'C003')andnotexists<select*fromscCwhere=and=也可以采用自連接selectfrom(select*fromscwherecno=,COOTassi,(sele*fromscwhere)ass2ctwhere=求至少學(xué)習(xí)了學(xué)生S003所學(xué)課程的學(xué)生學(xué)號(hào)解關(guān)系代數(shù)表達(dá)式：nsno(sc寧ncno(csno二'S003，(sc)selectdistinctsnofromscAwherenotexistsselect

5、*from,<scBwheresno='S003'andnotexistsselect*fromscCwhere=and=(4)求選擇了全部課程的學(xué)生的學(xué)號(hào)解此例的等價(jià)自然語(yǔ)義是，輸出這樣的學(xué)號(hào)，不存在某門(mén)課程在他的選課記錄里沒(méi)有選這門(mén)課關(guān)系代數(shù)表達(dá)式：nsno(sc寧neno(course)A where not exists( B where not exists sc Cwhere = and =Sql語(yǔ)句selectdistinctsnofromscselectenofromcourseselect*from求選擇了全部課程的學(xué)生的學(xué)號(hào)和姓名關(guān)系代數(shù)表達(dá)式：nsn

6、o,sname(studentsc)寧neno(course)Sql語(yǔ)句selectsno,snamefromstudentAwherenotexistsselectenofromcourseBwherenotexistsselect*from)>scCwhere=and=以上小問(wèn)用groupby結(jié)合count語(yǔ)句也是可以實(shí)現(xiàn)的，也更好理解一些。例如求選擇了全部課程的學(xué)生學(xué)號(hào)SELECTsnoFR0M(SELECTCOUNT(*)ent,SnoFROMSCGROUPBYsno)TWHEREcnt>=(SELECTCOUNT(Cno)FROMCOURSE)求至少選擇了C002和C003兩門(mén)課程的學(xué)生學(xué)號(hào)selectsnofromscwherecnoin('C002',C003')group