数据库课后答案(第三版)(18)

钱学忠 李京 主编

也可以变换（ 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）)

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库数据库课后答案(第三版)(18)在线全文阅读。