doc: clarify handling of range upper/lower/upper_inf/lower_inf()

Clarify handling of infinite range bounds.

Reported-by: jani.rahkola@iki.fi

Discussion: https://postgr.es/m/160508672127.25505.8356390205508789564@wrigleys.postgresql.org

Co-authored-by: Laurenz Albe

Backpatch-through: 16
This commit is contained in:
Bruce Momjian 2023-11-13 16:08:01 -05:00
parent d1379ebf4c
commit 7539a1b2fc
1 changed files with 12 additions and 8 deletions

View File

@ -19963,7 +19963,7 @@ SELECT NULLIF(value, '(none)') ...
</para>
<para>
Extracts the lower bound of the range (<literal>NULL</literal> if the
range is empty or the lower bound is infinite).
range is empty or has no lower bound).
</para>
<para>
<literal>lower(numrange(1.1,2.2))</literal>
@ -19981,7 +19981,7 @@ SELECT NULLIF(value, '(none)') ...
</para>
<para>
Extracts the upper bound of the range (<literal>NULL</literal> if the
range is empty or the upper bound is infinite).
range is empty or has no upper bound).
</para>
<para>
<literal>upper(numrange(1.1,2.2))</literal>
@ -20049,7 +20049,8 @@ SELECT NULLIF(value, '(none)') ...
<returnvalue>boolean</returnvalue>
</para>
<para>
Is the range's lower bound infinite?
Does the range have no lower bound? (A lower bound of
<literal>-Infinity</literal> returns false.)
</para>
<para>
<literal>lower_inf('(,)'::daterange)</literal>
@ -20066,7 +20067,8 @@ SELECT NULLIF(value, '(none)') ...
<returnvalue>boolean</returnvalue>
</para>
<para>
Is the range's upper bound infinite?
Does the range have no upper bound? (An upper bound of
<literal>Infinity</literal> returns false.)
</para>
<para>
<literal>upper_inf('(,)'::daterange)</literal>
@ -20121,7 +20123,7 @@ SELECT NULLIF(value, '(none)') ...
</para>
<para>
Extracts the lower bound of the multirange (<literal>NULL</literal> if the
multirange is empty or the lower bound is infinite).
multirange is empty has no lower bound).
</para>
<para>
<literal>lower('{[1.1,2.2)}'::nummultirange)</literal>
@ -20139,7 +20141,7 @@ SELECT NULLIF(value, '(none)') ...
</para>
<para>
Extracts the upper bound of the multirange (<literal>NULL</literal> if the
multirange is empty or the upper bound is infinite).
multirange is empty or has no upper bound).
</para>
<para>
<literal>upper('{[1.1,2.2)}'::nummultirange)</literal>
@ -20207,7 +20209,8 @@ SELECT NULLIF(value, '(none)') ...
<returnvalue>boolean</returnvalue>
</para>
<para>
Is the multirange's lower bound infinite?
Does the multirange have no lower bound? (A lower bound of
<literal>-Infinity</literal> returns false.)
</para>
<para>
<literal>lower_inf('{(,)}'::datemultirange)</literal>
@ -20224,7 +20227,8 @@ SELECT NULLIF(value, '(none)') ...
<returnvalue>boolean</returnvalue>
</para>
<para>
Is the multirange's upper bound infinite?
Does the multirange have no upper bound? (An upper bound of
<literal>Infinity</literal> returns false.)
</para>
<para>
<literal>upper_inf('{(,)}'::datemultirange)</literal>