projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f23f4e) | patch
Teach predicate_refuted_by() how to do proofs involving NOT-clauses.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 5 Aug 2006 00:21:14 +0000 (00:21 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 5 Aug 2006 00:21:14 +0000 (00:21 +0000)
commit6357f4ea721161fd7c2e7f65fa85684ed6b9770c
treeb6c18a67d3e770bc70cbe31ef1d1542bbbd85023tree
parent3f23f4eec85578272362ee72cdce0ed5e881bf18commit | diff
Teach predicate_refuted_by() how to do proofs involving NOT-clauses.
This doesn't matter too much for ordinary NOTs, since prepqual.c does
its best to get rid of those, but it helps with IS NOT TRUE clauses
which the rule rewriter likes to insert.  Per example from Martin Lesser.
src/backend/optimizer/util/predtest.c diff | blob | blame | history
This is the main PostgreSQL git repository.