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 | 7cd99d39472e913c0849cfb5f75cd0173ab98735 (patch) | |
| tree | 506f8a730856bad3b0ae8b934d2517c4a7e959cc /src/backend/executor/functions.c | |
| parent | 8873c5b2017f87f8f7626782e67f5cd177cc4dff (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/functions.c')
0 files changed, 0 insertions, 0 deletions