public inbox for [email protected]  

help / color / mirror / Atom feed
From: David G. Johnston <[email protected]>
To: Bruce Momjian <[email protected]>
Cc: KES <[email protected]>
Cc: [email protected]
Subject: Re: Ambiguous usage of 'any' in explanation
Date: Fri, 12 Oct 2018 14:37:33 -0700
Message-ID: <CAKFQuwYqEj_KaUdk83utOUJtEC6YnWio-kq1aN0=KE6ev4yhWA@mail.gmail.com> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>
	<CAKFQuwYo-oahQS_8x8ax06Gs_y_P02Hjokso3XCLvpOvZip-bQ@mail.gmail.com>
	<[email protected]>
	<[email protected]>

On Fri, Oct 12, 2018 at 8:04 AM Bruce Momjian <[email protected]> wrote:

> Sorry, but I don't like this wording.  The problem is that the
> comparison has two row sets --- the left-hand side, and the right-hand
> side.


Huh...the left hand side must be a non-set scalar or row constructor.

  Each row on the left-hand side is compared with the row set on
> the right.  I also don't like people thinking about the result of ANY
> since it is really <comparison> ANY that is being used.
>

Then there is some more rewording to be done since: "The result of ANY is
“true” if any true result is obtained." (v10; 9.22.4)

Maybe:

The result of ANY is “true” if the comparison returns true for any subquery
row; otherwise the result is “false” (or NULL if any of the comparisons
result in unknown)

David J.


view thread (13+ messages)  latest in thread

reply
Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected]
  Subject: Re: Ambiguous usage of 'any' in explanation
  In-Reply-To: <CAKFQuwYqEj_KaUdk83utOUJtEC6YnWio-kq1aN0=KE6ev4yhWA@mail.gmail.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox