On Thu, Nov 13, 2008 at 4:52 AM, Tom Lane <[EMAIL PROTECTED]> 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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers