Re: empty range

> regression=# select int4range(4,4) = int4range(5,5);
> ?column?
> ----------
> t
> (1 row)

Yes you have right, i don't realize this situation. But what about yust
leave empty bit set to True and don't discard the input value - items can
be sort and we can see the value - lower(int4range(4,4)) can be 4 without
any damage. There is isempty function and i hope nobody check empty ranges
with lower(anyrange) IS NULL AND upper(anyrange) IS NULL right?

Another thing that we did not know before was that is better store
tstzrange(now(), NULL) instead of tstzrange(now,'infinity') becouse
upper_inf is not True in this case and is not True if bounds are closed
'[]'. Maybe we did not read documentation properly and we did not know how
is range type stored internally and we was confused after discovering this
behavior.

SELECT upper_inf(tstzrange(now(),'infinity','[]'));
upper_inf
-----------
f
(1 řádka)

Best regards

David T.

--
-------------------------------------
Ing. David TUROŇ
LinuxBox.cz, s.r.o.
28. rijna 168, 709 01 Ostrava

tel.: +420 591 166 224
fax: +420 596 621 273
mobil: +420 732 589 152
www.linuxbox.cz

mobil servis: +420 737 238 656
email servis: servis(at)linuxbox(dot)cz
-------------------------------------

Od: "Tom Lane" <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Komu: emre(at)hasegeli(dot)com
Kopie: david(dot)turon(at)linuxbox(dot)cz, pgsql-hackers(at)postgresql(dot)org
Datum: 16. 01. 2020 16:21
Předmět: Re: empty range

Emre Hasegeli <emre(at)hasegeli(dot)com> writes:
>> It's only suggestion, i don't now if somebody wants store empty range
without bounds.

> I thought about the same while developing the BRIN inclusion operator
> class. I am not sure how useful empty ranges are in practice, but
> keeping their bound would only bring more flexibility, and eliminate
> special cases on most of the range operators. For reference, we allow
> empty boxes, and none of the geometric operators has to handle them
> specially.

I think it'd just move the special cases somewhere else. Consider

regression=# select int4range(4,4) = int4range(5,5);
?column?
----------
t
(1 row)

How do you preserve that behavior ... or if you don't, how much
damage does that do to the semantics of ranges? Right now there's
a pretty solid set-theoretic basis for understanding what a range is,
ie two ranges are the same if they include the same sets of elements.
It seems like that goes out the window if we don't consider that
all empty ranges are the same.

BTW, I think the main reason for all the bound-normalization pushups
is to try to have a rule that ranges that are set-theoretically equal
will look the same. That also goes out the window if we make
empty ranges look like this.

regards, tom lane