Postgres Pro
Downloads
Home   >   mailing lists

pgsql: Teach predicate_refuted_by() how to do proofs involving - Mailing list pgsql-committers

From tgl@postgresql.org (Tom Lane)
Subject pgsql: Teach predicate_refuted_by() how to do proofs involving
Date
Msg-id 20060805002114.62C0C9FB3AA@postgresql.org
Whole thread Raw
List pgsql-committers
Tree view 
Log Message:
-----------
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.

Modified Files:
--------------
    pgsql/src/backend/optimizer/util:
        predtest.c (r1.7 -> r1.8)
        (http://developer.postgresql.org/cvsweb.cgi/pgsql/src/backend/optimizer/util/predtest.c.diff?r1=1.7&r2=1.8)

pgsql-committers by date:

Previous
From: momjian@postgresql.org (Bruce Momjian)
Date:
Subject: pgsql: Add some blank lines for formatting.
Next
From: tgl@postgresql.org (Tom Lane)
Date:
Subject: pgsql: Extend relation_excluded_by_constraints() to check for mutually