• Tom Lane's avatar
    Improve the planner's simplification of NOT constructs. · 220e45bf
    Tom Lane authored
    This patch merges the responsibility for NOT-flattening into
    eval_const_expressions' processing.  It wasn't done that way originally
    because prepqual.c is far older than eval_const_expressions.  But putting
    this work into eval_const_expressions saves one pass over the qual trees,
    and in fact saves even more than that because we can exploit the knowledge
    that the subexpressions have already been recursively simplified.  Doing it
    this way also lets us do it uniformly over all expressions, whereas
    prepqual.c formerly just did it at top level to save cycles.  That should
    improve the planner's ability to recognize logically-equivalent constructs.
    
    While at it, also add the ability to fold a NOT into BooleanTest and
    NullTest constructs (the latter only for the scalar-datatype case).
    
    Per discussion of bug #5702.
    220e45bf
prep.h 1.54 KB