summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/src/sgml/func.sgml19
1 files changed, 15 insertions, 4 deletions
diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 8bd35173420..05e72b19a76 100644
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -12591,14 +12591,14 @@ SELECT NULLIF(value, '(none)') ...
<row>
<entry> <literal>@&gt;</literal> </entry>
<entry>contains</entry>
- <entry><literal>ARRAY[1,4,3] @&gt; ARRAY[3,1]</literal></entry>
+ <entry><literal>ARRAY[1,4,3] @&gt; ARRAY[3,1,3]</literal></entry>
<entry><literal>t</literal></entry>
</row>
<row>
<entry> <literal>&lt;@</literal> </entry>
<entry>is contained by</entry>
- <entry><literal>ARRAY[2,7] &lt;@ ARRAY[1,7,4,2,6]</literal></entry>
+ <entry><literal>ARRAY[2,2,7] &lt;@ ARRAY[1,7,4,2,6]</literal></entry>
<entry><literal>t</literal></entry>
</row>
@@ -12641,8 +12641,10 @@ SELECT NULLIF(value, '(none)') ...
</table>
<para>
- Array comparisons compare the array contents element-by-element,
- using the default B-tree comparison function for the element data type.
+ The array ordering operators (<literal>&lt;</literal>,
+ <literal>&gt;=</literal>, etc) compare the array contents
+ element-by-element, using the default B-tree comparison function for
+ the element data type, and sort based on the first difference.
In multidimensional arrays the elements are visited in row-major order
(last subscript varies most rapidly).
If the contents of two arrays are equal but the dimensionality is
@@ -12654,6 +12656,15 @@ SELECT NULLIF(value, '(none)') ...
</para>
<para>
+ The array containment operators (<literal>&lt;@</literal>
+ and <literal>@&gt;</literal>) consider one array to be contained in
+ another one if each of its elements appears in the other one.
+ Duplicates are not treated specially, thus <literal>ARRAY[1]</literal>
+ and <literal>ARRAY[1,1]</literal> are each considered to contain the
+ other.
+ </para>
+
+ <para>
See <xref linkend="arrays"> for more details about array operator
behavior. See <xref linkend="indexes-types"> for more details about
which operators support indexed operations.