钱学忠 李京 主编
也可以变换（ A -> B≡ ﹁ A ∨ B X(A) ≡ ﹁ X(﹁ A )）
真值表 A B A -> B ≡ ﹁ A ∨ B T T T T T F F F F T T T F F T T
RANGE C CX SC SCX SC SCY
GET W(S.SNO): CX( SCX (SCX.SNO=’S4’∧ O=O)-> SCY (SCY.SNO=S.SNO ∧ O=O))
GET W(S.SNO): CX(﹁( SCX (SCX.SNO=’S4’∧ O=O))∨（ SCY (SCY.SNO=S.SNO ∧ O=O)))
GET W(S.SNO):﹁ CX(﹁(﹁( SCX (SCX.SNO=’S4’∧ O=O))∨（ SCY (SCY.SNO=S.SNO ∧ O=O))))
GET W(S.SNO):﹁ CX((( SCX (SCX.SNO=’S4’∧ O=O))∧ ﹁（ SCY (SCY.SNO=S.SNO ∧ O=O))))
(9) 检索选修所有课程的学生的学号。πSNO,CNO (SC) πCNO (C) RANGE C CX SC SCX
GET W(S.SNO): CX SCX (O=O∧ S.SNO=SCX.SNO) 全称改存在为： RANGE C CX SC SCX
GET W(S.SNO):﹁CX（﹁SCX (O=O∧ S.SNO=SCX.SNO)) (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）) 或
（你们的做法） RANGE SC SCX C CX
GET W(S.SNO): CX﹁( SCX（SCX.SNO=SNO∧O=O）)