【正文】 性的次序無關(guān)性，給定兩個可以“相除”的關(guān)系 T、 R之后，我們能夠?qū)?T中的屬性按照 R中屬性構(gòu)成的集合分成兩部分： X和 Y，進而將 T和 R分別記為 T (X,Y) 和 R(Y)，則有 T ? R = П X (T) ПX ((ПX (T) R) T) 29 第 2章 關(guān)系模型與運算： 關(guān)系代數(shù)（ 2） 除法運算步驟 P=T ? R的具體計算步驟為： ① U = П X (T) （計算 T在 X上的投影）； ② V = (UR)T（計算在 UR中但不在 T中的元組）； ③ W = ПX (V) （計算 V在 X上的投影）； ④ P=UW（計算在 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é)果不一樣。 第 2章 關(guān)系模型與運算： 關(guān)系代數(shù)（ 1） 修改運算：集合的差運算與并運算 17 第 2章 關(guān)系模型與運算： 關(guān)系代數(shù)（ 2） 屬性列的制定：投影運算 設(shè)有 k元關(guān)系 R，其元組變量為 tk = t1,t2,…, tk ，那么關(guān)系 R在其分量 Ai1, Ai2, … , Ain ( n≤k , i1 , i2, … , in 為 1到 k之間互不相同的整數(shù) )上的投影 定義為： )(,2,1 Rinii ??},|{)( 2121,2,1 RttttttttR kiniiinii ????????? ???18 c b c f e d c b a C B A B C b c e f R ?B , C(R) 投影的結(jié)果中要去掉相同的行 19 第 2章 關(guān)系模型與運算： 關(guān)系代數(shù)（ 2） 元組集合的選擇：選擇運算 設(shè)有 k元關(guān)系 R，條件用一 命題公式 F表示，則從關(guān)系 R中選擇出滿足條件 F的行定義為： })(|{)( t r u etFRttRF ?????F是選擇的條件 :? t∈ R， F(t)