Re: [GENERAL] Very slow queries w/ NOT IN preparation (seems like a bug, test case)

On Thu, Nov 13, 2008 at 4:52 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Yeah.  An example of a closely related expression that it *would* be
> able to prove self-contradictory is
>        WHERE x = ALL (ARRAY[1, 2, ...])
> or perhaps slightly more realistically
>        WHERE x = ANY (ARRAY[1, 2, 3]) AND x > 4

It seems like the cure is worse than the disease here.  Surely a user
who has a self-contradictory clause will realise the problem pretty
quickly (i.e., when he receives zero rows) and then just fix it.

I guess my question is, what's the real benefit of going to all this
trouble trying to prove that clauses are false? What real-world
problem does it address?

Cheers,
BJ