summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian <bruce@momjian.us>2023-11-13 16:08:01 -0500
committerBruce Momjian <bruce@momjian.us>2023-11-13 16:08:01 -0500
commit17d490ef32cc217a54323819bb78d6d2813a2c35 (patch)
treedf824354f165f054f60d3a9cd99a8942703a476e
parente72821ca086a1caa9a22a2c131b7527753a1ab93 (diff)
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
-rw-r--r--doc/src/sgml/func.sgml20
1 files changed, 12 insertions, 8 deletions
diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 0257e136ecd..9f17cbd5806 100644
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -19683,7 +19683,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>
@@ -19701,7 +19701,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>
@@ -19769,7 +19769,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>
@@ -19786,7 +19787,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>
@@ -19841,7 +19843,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>
@@ -19859,7 +19861,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>
@@ -19927,7 +19929,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>
@@ -19944,7 +19947,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>