Re: STRICT SQL functions never inline

On Tuesday, November 08, 2011 15:29:03 Josh Berkus wrote:
> Folks,
>
> After having some production issues, I did some testing and it seems
> that any SQL function declared STRICT will never inline. As a result,
> it won't work with either indexes (on the underlying predicate) or
> partitioning.
>
> This seems like a horrible gotcha for our users. At the very least I'd
> like to document it (in CREATE FUNCTION, presumably), but it would be
> better to fix it. Thoughts?
I am all for documenting it somewhere. There were lots of people hit by it in
the past - e.g. the postgis folks.
Its not so easy to fix though. The problem is that straight inlining would
change the behaviour because suddenly the expression might not return NULL
anymore even though one of the parameters is NULL. Or even cause more problems
because the content wasn't prepared to handle NULLs.
It would be possible to inline a CASE $1 IS NULL OR $2 IS NULL .... THEN NULL
ELSE orig_expression END but that would be usefull in far fewer cases because
it won't help much in most cases and actually might hurt performance in some.

Andres