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