【数据库使用黄皮本】关系模型和关系运算理论.docVIP

第2章 关系模型和关系运算理论 2.7 BC解：R?S A B C R ?S A R.B S.B C BC a b c a b b c a b d a b b d c b c c b b c c b d c b b d d e a σA=C(R×S A R.B S.B C a b e a c b b c d e b d 2.8 解： 操作 最小元组数 最大元组数 ⑴ U∩V 0 min(m,n ⑵ U∪V max(m,n m+n ⑶ U?V 0 m×n ⑷σF(U×V 0 m×n ⑸πL(U－V 0 m 2.13 解：①πAR）：{ t | (?u ( R(u ∧ t[1]=u[1]} ②σB=17R）：{ t | R(t ∧ t[2]=17} ③ R×S：{ t | (?u (?v ( R(u ∧ S(v ∧ t[1]=u[1] ∧ t[2]=u[2] ∧t[3]=u[3] ∧ t[4]=v[1] ∧t[5]=v[2] ∧t[6]=v[3]} ④πA,FσC=DR×S））：{ t | (?u (?v ( R(u ∧ S(v ∧ u[3]=v[1] ∧ t[1]=u[1] ∧ t[2]=v[3]} 2.17 解：⑴πS#,SNAMEσAGE17∧SEX=’F’S）） ⑵πC#, CNAMEσSEX=MS?SC?C）） ⑶πT#, TNAMEσSEX=MS?SC?C?T）） ⑷π1σ1=4∧ 2≠5SC×SC）） ⑸π2σ2=5∧1=S2∧4=S4SC×SC）） ⑹πC#C）－πC#σSNAME=WANGS?SC）） ⑺πC#,CNAMEC?πS#,C#SC）÷πS#S））） ⑻πS#,C#SC）÷πC#σTNAME=LIUC?T）） 2.18 试用元组表达式表示第2.17题中各个查询语句. 解：⑴ { t | (?u (S(u ∧ u[3]17 ∧ u[4]=’F’∧ t[1]=u[1] ∧ t[2]=u[2]} ⑵ { t | (?u (?v (?w (S(u ∧SC(v ∧C(w ∧u[4]=M ∧u[1]=v[1] ∧w[1]=v[2] ∧t[1]=w[1] ∧ t[2]=w[2]} ⑶ { t | (?u (?v (?w (?y (SC(u ∧ C(v ∧S(w ∧ T(y ∧w[4]=M ∧ u[2]=v[1] ∧u[1]=w[1] ∧ v[3]=y[1] ∧t[1]=y[1] ∧t[2]=y[2]} ⑷ { t | (?u (?v (SC(u ∧ SC(v ∧ u[1]=v[1] ∧ u[2]≠v[2] ∧ t[1]=u[1]} 此处自然联接条件u[1]=v[1]和v[2]=w[1]不要遗漏） ⑸ { t | (?u (?v (SC(u∧SC(v ∧u[2]= v[2] ∧u[1]=S2 ∧ v[1]=S4 ∧ t[1]=u[2]} ⑹ { t | (?u (?v (?w (C(u ∧ S(v ∧ SC(w ∧ v[2]=WANG ∧ (w[1]=v[1] = w[2]≠u[1] ∧ t[1]=u[1]} 其意思是：在关系C中存在一门课程,在关系S中存在一个WANG同学,在关系SC中要求不存在WANG同学学这门课程地元组.也就是要求在关系SC中,WANG同学学地课程都不是这门课程因此在元组表达式中要求全称量词?）. ⑺{ t | (?u (?v (?w (C(u ∧ S(v ∧ SC(w ∧ w[2]=u[1] ∧ w[1]=v[1] ∧t[1]=u[1] ∧ t[2]=u[2]} 其意思是：在关系C中找一课程号,对于关系S中每一个学生,都应该学这门课即在关系SC中存在这个学生选修这门课地元组）. ⑻{ t | (?u (?z (SC(u ∧T(z ∧ z[2]=’LIU’∧(?v (C(v ∧(v[3]=z[1] = (?w (SC(w ∧ w[1]=u[1] ∧ w[2]=v[1] ∧ t[1]=u[1]} 其意思是：在