如果有这样一条 SQL 语句:
SELECT * FROM STUDENT, COURSE WHERE (sno =1 AND cname=’math’) OR (sno = 2 AND cname = ‘physics’),
在对谓词做表达式预处理的时候,我们对这种类型的约束条件无从下手。我们知道 PostgreSQL 的约束条件的顶层是合取范式(或者说是“与”的方式),但这里的顶层是一个析取范式,这样的约束条件也只能应用到 STUDENT 表和 COURSE 表的连接结果上,对连接操作产生的结果进行过滤。如果有办法对其中的一些条件提取出来,并且下推到基表上,那么就会降低连接操作的计算量。
拆分约束条件
通过分析 (sno =1 AND cname='math') OR (sno = 2 AND cname = 'physics') 这个约束条件就会发现,它是 OR 谓词连接起来的两个合取范式: (sno =1 AND cname='math') 和 (sno = 2 AND cname = 'physics') ,这样的连接条件产生的结果有什么特点呢?
对于 STUDENT 表而言,能够顺利通过这两个合取范式过滤的元组,一定具有这样的特征:sno =