【正文】
E a a b b a a b b R x S 23 ? 求數(shù)學(xué)成績(jī)比王紅同學(xué)高的學(xué)生 ∏ ( ? ? ? =數(shù)學(xué) ? =數(shù)學(xué) ? =王紅 (R??S( R)) 89 數(shù)學(xué) 張軍 86 數(shù)學(xué) 王紅 93 物理 張軍 成績(jī) 課程 姓名 R 86 數(shù)學(xué) 王紅 86 數(shù)學(xué) 王紅 86 數(shù)學(xué) 王紅 89 數(shù)學(xué) 張軍 86 數(shù)學(xué) 王紅 93 物理 張軍 89 數(shù)學(xué) 張軍 86 數(shù)學(xué) 王紅 93 物理 張軍 成績(jī) 課程 姓名 S ?S( R): ?更名運(yùn)算,將 R更名為 S ? 24 第 2章 關(guān)系模型與運(yùn)算: 關(guān)系代數(shù)( 3) 關(guān)系代數(shù)系統(tǒng) n元有序組的集合 R上兩個(gè)一元運(yùn)算(投影和選擇)和三個(gè)二元運(yùn)算(并、差、笛卡爾乘積)構(gòu)成一個(gè)代數(shù)系統(tǒng),稱(chēng)之為關(guān)系代數(shù)系統(tǒng),簡(jiǎn)稱(chēng)為關(guān)系代數(shù)。 ● 設(shè)修改后的元組構(gòu)成關(guān)系 R2,此時(shí)將其插入,得到結(jié)果( RR1) ∪ R2。 28 第 2章 關(guān)系模型與運(yùn)算: 關(guān)系代數(shù)( 2) 除法公式 由于關(guān)系中屬性的次序無(wú)關(guān)性,給定兩個(gè)可以“相除”的關(guān)系 T、 R之后,我們能夠?qū)?T中的屬性按照 R中屬性構(gòu)成的集合分成兩部分: X和 Y,進(jìn)而將 T和 R分別記為 T (X,Y) 和 R(Y),則有 T ? R = П X (T) ПX ((ПX (T) R) T) 29 第 2章 關(guān)系模型與運(yùn)算: 關(guān)系代數(shù)( 2) 除法運(yùn)算步驟 P=T ? R的具體計(jì)算步驟為: ① U = П X (T) (計(jì)算 T在 X上的投影); ② V = (UR)T(計(jì)算在 UR中但不在 T中的元組); ③ W = ПX (V) (計(jì)算 V在 X上的投影); ④ P=UW(計(jì)算在 U中但不在 W中的元組) 30 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 f C D c d e f A B a b e d A B a b b c e d A B C D a b c d a b e f b c c d b c e f e d c d e d e f R ?AB (R) S ?AB (R) ? ?CD (S) ?AB (R) ? ?CD (S)R A B C D b c c d R ? S= A B a b b c e d A B b c = 31 注意:被除關(guān)系不能含多余屬性,否則結(jié)果不