这里是黄永亮的博客

2022年07月的存档

文章存档

20220721数据库基础-谓词逻辑转写sql

20220721数据库原理 同事在学数据库,问我这个题,重新总结下我上学时候的经典套路 这个套路针对任意存在性和任意性判定的sql编写或集合运算,当时数据库老师疯狂改题目条件,导致sql毫无规律且从字面含义上难以正向理解运算逻辑。为了考试以不变应万变总结了这个套路,核心思想是不要纠结于最终sql的语法表达,而是通过逻辑化简来确保集合元素的正确性,化简后再转写成sql 主要运用集合论、关系代数基础以及离散数学的谓词逻辑,这些应该是我要做sql自动生成和优化的理论基础 题目经典的三张表如下 学生表s(sid,sname) 课程表c(cid, ...