projects / postgresql-pgindent.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a17afe) | patch
Doc: clarify handling of duplicate elements in array containment tests.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 23 Sep 2019 16:37:04 +0000 (12:37 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 23 Sep 2019 16:37:04 +0000 (12:37 -0400)
commit70c12450641bed8ab510f0fea2f97b6b747837b7
tree600f6ffb4c5a2acca45ea77327135e16aa02b088tree
parent8a17afe84be6fefe76d0d2f4d26c5ee075e64487commit | diff
Doc: clarify handling of duplicate elements in array containment tests.

The array <@ and @> operators do not worry about duplicates: if every
member of array X matches some element of array Y, then X is contained
in Y, even if several members of X get matched to the same Y member.
This was not explicitly stated in the docs though, so improve matters.

Discussion: https://postgr.es/m/156614120484.1310.310161642239149585@wrigleys.postgresql.org
doc/src/sgml/func.sgml diff | blob | blame | history
Auto-updated pgindent branches