diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2019-09-23 12:37:04 -0400 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2019-09-23 12:37:04 -0400 |
commit | 65cddf70aafcac0945947a6966cb316a8dcb91c3 (patch) | |
tree | 874a8e137fb7c0bdd67502f7de75250e23ed2a87 /src/backend | |
parent | 35eb132700ba9aaab60536ee839e5101454dcde3 (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
Diffstat (limited to 'src/backend')
0 files changed, 0 insertions, 0 deletions