Date: Mon, 13 Nov 2023 16:08:13 -0500
From: Bruce Momjian <bruce@momjian.us>
To: Laurenz Albe <laurenz.albe@cybertec.at>
Cc: Fujii Masao <masao.fujii@oss.nttdata.com>, jani.rahkola@iki.fi,
	pgsql-docs@lists.postgresql.org
Subject: Re: Documentation of return values of range functions lower and upper
Message-ID: <ZVKQPQpo71JeGyQz@momjian.us>
References: <16601466752e40543051369fac722c0a200bb4e6.camel@cybertec.at>
 <27d690d8-0987-5f2b-a2da-fc2ec7c19e3c@oss.nttdata.com>
 <02f3fa3a592fa6c1f8ec1a9f539ae376f744eb42.camel@cybertec.at>
 <ZUK0-gzxmfHdDila@momjian.us>
 <a0f9f8fa5de833acd7cf9e74352ef347ade6572d.camel@cybertec.at>
 <ZULLQ0Zycz8PmfsT@momjian.us>
 <ed4f1dcba4aa0f1f00023a9346e2f925f3cc62c8.camel@cybertec.at>
 <ZUOu4maaCXivToUE@momjian.us>
 <687683a11c0d8bd0466cedbcb99d098c11f31f97.camel@cybertec.at>
 <ZUQhQ9pJrY4ennXy@momjian.us>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <ZUQhQ9pJrY4ennXy@momjian.us>
Archived-At: 
 <https://www.postgresql.org/message-id/ZVKQPQpo71JeGyQz%40momjian.us>
Precedence: bulk

On Thu, Nov  2, 2023 at 06:22:59PM -0400, Bruce Momjian wrote:
> On Thu, Nov  2, 2023 at 03:42:53PM +0100, Laurenz Albe wrote:
> > On Thu, 2023-11-02 at 10:14 -0400, Bruce Momjian wrote:
> > > Better, though "Is the range's upper bound unbounded?" makes me cringe.
> > > 
> > > Oh, yeah, totally cringe, me too.  :-)
> > > 
> > > > It is not the bound that is bounded or not, but the range.
> > > > 
> > > > How about "Is the range unbounded at the upper end?" or "Does the range
> > > > have no upper bound?"
> > > 
> > > I used your "end" idea to modify the patch, attached.
> > 
> > There are still some loose ends:
> > 
> > - you lost the specification whether it is the upper or the lower bound
> > 
> > - "Infinity" is a literal
> > 
> > - "-Infinity" is a very unlikely value for an upper bound
> > 
> > How about the attached version?
> 
> Agreed, yours is much better.

Backpatched to PG 16.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Only you can decide what is important to you.