2、($u)(R(u)∧t[1]=u[1])}②σB='17'(R):{t
3、R(t)∧t[2]=17}③R×S:{t
4、($u)($v)(R(u)∧S(v)∧t[1]=u[1]
5、∧t[2]=u[2]∧t[3]=u[3]∧t[4]=v[1]∧t[5]=v[2]∧t[6]=v[3])}④πA,F(σC=D(R×S)):{t
6、($u)($v)(R(u)∧S(v)∧u[3]=v[1]∧t[1]=u[1]∧t[2]=v[3])}加2.14解:①πA(R):{t1
7、($u2)($u3)(R(t1u2u3))}②σ2=′17′(R):{t1t2t3
8、R(t1t2t3)∧t2=17}③R∪S:{t1t2t3
9、R(t1t2t3)∨S(t1t2t3)}④R∩S:{t1t2t3
10、R(t1t2t3)∧S(t1t2t3)}⑤R-S:{t1t2t
11、3
12、R(t1t2t3)∧┓S(t1t2t3)}⑥π1,2(R)π2,3(S):{t1t2t3
13、($u3)($v1)
14、R(t1t2u3)∧S(v1t2t3)}2.15解:①π1(σ2=′17′(R))②R⋈S③π1(σ1=3∧2=5∧4>6(S×R×R))2.17解:⑴πS#,SNAME(σAGE<'17'∧SEX=’F’(S))⑵πC#,CNAME(σSEX='M'(S⋈SC⋈C))⑶πT#,TNAME(σSEX='M'(S⋈SC⋈C⋈T))⑷π1(σ1=4∧2≠5(SC×SC))⑸π2(σ2=5∧1='S2'∧4='S4'(SC×SC))⑹π
15、C#(C)-πC#(σSNAME='WANG'(S⋈SC))⑺πC#,CNAME(C⋈(πS#,C#(SC)÷πS#(S)))⑻πS#,C#(SC)÷πC#(σTNAME='LIU'(C⋈T))2.18试用元组表达式表示第2.17题中各个查询语句。解:⑴{t
16、($u)(S(u)∧u[3]<17∧u[4]=’F’∧t[1]=u[1]∧t[2]=u[2])}⑵{t
17、($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
18、($u)($v)($
19、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
20、($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
21、($u)($v)(SC(u)∧SC(v)∧u[2]=v[2]∧u[1]='S2'∧v[1]='S4'∧t[1]=u[2])}⑹{t
22、($u)($v)("w)(C(u)∧S(v)∧SC(w)
23、∧v[2]='WANG'∧(w[1]=v[1]=>w[2]≠u[1])∧t[1]=u[1])}其意思是:在关系C中存在一门课程,在关系S中存在一个WANG同学,在关系SC中要求不存在WANG同学学这门课程的元组。也就是要求在关系SC中,WANG同学学的课程都不是这门课程(因此在元组表达式中要求全称量词")。⑺{t
24、($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中存在这个
25、学生选修这门课的元组)。⑻{t
26、($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])}其意思是:在关系SC中找一个学号,对于关系T中LIU老师在C中所教的每一门课,这个学生都学了(即在关系SC中存在这个学生选修这门课的元组)。2.19试用域表达式表示第2.17题的各个查询语句。解:①{t1t2
27、($u1u2u3u4)(S(u1u2u3u4)∧u4='F'∧u3<17∧t1=u1∧t2=u2)}再简化成:{
28、t1t2
29、($u3)S(t1t2u3'F')∧u3<17}此处($u1u2u3u4)是($u1)($u2)($u3)($u4)的简写,下同。②{t1t