SQL无全称量词,但可以把全称量词转化为等价的存在量词形式。例:“查询选修全部课程的学生姓名”(∨x)P≡!(Ex(!P))原命题等价于:“查询这样的学生a,不存在某个课程x,这名学生没有选修”SELECT   sname  FROM  StudentWHERE   NOT EXISTS        (SELECT *        ...
pf_miles
搜索本博客
我的相册
B5ff80b4-2ec3-3fc2-84c0-8dd1445b0135-thumb
svP4
共 10 张
存档
最新评论