Re: [PERFORM] Feature request: smarter use of

John Siracusa <siracusa(at)mindspring(dot)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