pg.ddx.io  pgsql-docs@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Tom Lane <tgl@sss.pgh.pa.us>
To: David G. Johnston <david.g.johnston@gmail.com>
Cc: php.pl.prices@gmail.com
Cc: pgsql-docs@lists.postgresql.org
Subject: Re: @> (contains)
Date: Mon, 23 Sep 2019 12:56:36 -0400
Message-ID: <10213.1569257796@sss.pgh.pa.us> (raw)
In-Reply-To: <CAKFQuwads-TKniO0=EYYG+AQkyxmCbOCD5jPXjjR5ZBk2dyDYg@mail.gmail.com>
References: <156614120484.1310.310161642239149585@wrigleys.postgresql.org>
	<CAKFQuwads-TKniO0=EYYG+AQkyxmCbOCD5jPXjjR5ZBk2dyDYg@mail.gmail.com>

"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Sun, Aug 18, 2019 at 8:53 AM PG Doc comments form <noreply@postgresql.org>
>> Noticed strange thin with @>
>> Query "select '{1,2}'::int[] @> '{1,2,2,2,2,2,2,2}'::int[]" returns true,
>> but first array contains even less elements then second.
>> I think it's a bug in "contains" logic, but don't know where to submit it.

> Its a valid interpretation of "contains", for this purpose each array is
> treated like a set (ignoring the cardinality of elements, and overall
> dimensionality), but it needs to be documented as behaving that way on that
> page.

Done now.

			regards, tom lane





view thread (3+ messages)

Message-ID: <10213.1569257796@sss.pgh.pa.us>
Permalink:  ../10213.1569257796@sss.pgh.pa.us/
Also on:    postgresql.org/message-id/10213.1569257796@sss.pgh.pa.us

 · 

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: pgsql-docs@postgresql.org
  Cc: tgl@sss.pgh.pa.us, david.g.johnston@gmail.com, php.pl.prices@gmail.com, pgsql-docs@lists.postgresql.org
  Subject: Re: @> (contains)
  In-Reply-To: <10213.1569257796@sss.pgh.pa.us>

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

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