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/executor/execUtils.c | |
| 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/executor/execUtils.c')
0 files changed, 0 insertions, 0 deletions