SELECT C.CN FROM S,SC,C
WHERE S.SNO=SC.SNO AND SC.CNO=C.CNO AND S.AGE=23
(7) 检索至少修读了学号为S5的学生修读的一门课的学生的姓名。
πSN (SSCπCNO (σSNO=?S5?(SC)))
RANGE SC SCX SC SCY
GET W(S.SN): ?SCX?SCY (SCX.SNO=’S5’ ∧ SCY.SNO=S.SNO∧ SCY.CNO=SCX.CNO)
或
RANGE C CX SC SCX SC SCY GET
W(S.SNO):
?CX(
?SCX (SCX.SNO=’S5’ ∧
CX.CNO=SCX.CNO)->?SCY (SCY.SNO=S.SNO ∧ CX.CNO=SCY.CNO))
SELECT S.SNO FROM S,SC X,SC Y
WHERE S.SNO=Y.SNO AND X.CNO=Y.CNO AND X.SNO=’S5’
(8) 检索修读了学号为S4的学生所修读的所有课程的学生的姓名。
33
数据库原理及应用
πSN (S(πSNO,CNO (SC)÷πCNO (σSNO=?S4?(SC))))
RANGE C CX SC SCX SC SCY GET
W(S.SNO):
?CX(
?SCX (SCX.SNO=’S4’ ∧
CX.CNO=SCX.CNO)->?SCY (SCY.SNO=S.SNO ∧ CX.CNO=SCY.CNO))
也可以变换
RANGE C CX SC SCX SC SCY GET
W(S.SNO):
?CX(
?SCX (SCX.SNO=’S4’ ∧
CX.CNO=SCX.CNO)->?SCY (SCY.SNO=S.SNO ∧ CX.CNO=SCY.CNO)) GET W(S.SNO):?CX(﹁(?SCX (SCX.SNO=’S4’ ∧ CX.CNO=SCX.CNO))∨（?SCY (SCY.SNO=S.SNO ∧ CX.CNO=SCY.CNO)))
GET W(S.SNO):﹁?CX(﹁(﹁(?SCX (SCX.SNO=’S4’ ∧ CX.CNO=SCX.CNO))
∨
（
?SCY (SCY.SNO=S.SNO ∧
CX.CNO=SCY.CNO))))
GET W(S.SNO):﹁?CX(((?SCX (SCX.SNO=’S4’ ∧ CX.CNO=SCX.CNO))∧
﹁（?SCY (SCY.SNO=S.SNO ∧ CX.CNO=SCY.CNO))))
34
SELECT S.SNO FROM S
WHERE NOT EXISTS (SELECT * FROM SC X
WHERE X.SNO=’S4’ AND NOT EXISTS (SELECT * FROM SC Y
WHERE S.SNO=Y.SNO AND Y.CNO=X.CNO))
(9) 检索选修所有课程的学生的学号。 πSNO,CNO (SC)÷πCNO (C)
RANGE C CX SC SCX
GET W(S.SNO):?CX?SCX (SCX.CNO=CX.CNO ∧ S.SNO=SCX.SNO)
全称改存在为：
RANGE C CX SC SCX
GET W(S.SNO):﹁?CX（﹁?SCX (SCX.CNO=CX.CNO ∧ S.SNO=SCX.SNO))
SELECT S.SNO FROM S
35
数据库原理及应用 WHERE NOT EXISTS (SELECT * FROM C CX WHERE NOT EXISTS (SELECT * FROM SC SCX
WHERE S.SNO=SCX.SNO AND SCX.CNO=CX.CNO))
(10) 检索不选修任何课程的学生的学号。 πSNO (S) -πSNO (SC)
RANGE SC SCX
GET W(S.SNO):?SCX(﹁（SCX.SNO=SNO）) 即：
RANGE SC SCX
GET W(S.SNO):?SCX(SCX.SNO≠SNO) 或
全称改存在为：
GET W(S.SNO):﹁?SCX(﹁(﹁（SCX.SNO=SNO）) )
即：
GET W(S.SNO):﹁?SCX(SCX.SNO=SNO）) 或
36