Re: [PERFORM] Feature request: smarter use of

John Siracusa <siracusa@mindspring.com> writes:
> ...  Actually, I'm still not sure how you
> can conclude that foo is not null simply by seeing func(..., foo, ...) where
> func() is strict.  Do strict functions and operators simply not allow null
> args?

That was what the comments were about ;-).  A "strict" operator is one
that always returns NULL if any input is NULL.  This does guarantee that
the WHERE condition will fail, but it takes a bit of analysis to see
that the implication is valid.

> Here's hoping that my next performance enhancement suggestion will be
> complex enough that no one will entertain the thought of asking me for a
> patch... ;)

I had quite the opposite motivation in mind in asking you to prototype
this ;-) ...

            regards, tom lane