Subject: Re: Why 'infinity' is not in range '[2019-01-02, infinity]'?
To: kes-kes@yandex.ru, pgsql-docs@lists.postgresql.org,
 PG Doc comments form <noreply@postgresql.org>
References: <155655432452.1371.6115195379691603427@wrigleys.postgresql.org>
From: "Jonathan S. Katz" <jkatz@postgresql.org>
Openpgp: preference=signencrypt
Autocrypt: addr=jkatz@postgresql.org; keydata=
 mQINBFtShwABEAC7PNHDUOTYuifpUCk23KqfxdQQkn4nkoxOXRK0+rAj36FiwqGB4TJFuOVZ
 sDFAEiSlC8Jt4y5Cs7B5tetT8JNd2cs6zp/udMJJDz9d65O9PDpdlMgAmIiTzpLlSdx8FG56
 DTksaDv1d8j3cTJPSE4/fWSxqzA7o3Y9UuL7atZPrzfImgpRKs0of7elIHwOa8GucjyhYqcR
 h60wFBJc2KXqQdDYRTZy43DSnY/0VNc0omiH355fustvpm+m5HjD3w7qZyfN3fpKJpnX1LCF
 f3MnPHaDGITIYGRCBXvf0UqUtD6OEVWPv2C2gyqWMIpWmZTOgDufltKyIByKBoS9x0PlFkij
 04X3KODCngt+N8Ssc9OICc6QSxhjoP48PYPdmiTmkrGuf0LX084wj1xeo1NX7XxZK39F6dTJ
 DhsIiW0sNS0xMxQHLHG9VLbPjx3SANQBh6BuryPz5ZupW9/TIDmkvprtU/oXfKgtfYm3fxmk
 EctxbWrEPsFTFPyuMqQu6l+xyQv0s1VLZfjNWaua6H1/gGoIt6kRnn5qMXDVVpijuWkHbv7G
 ngaQMd258UrrOEHnnjzhQ7jxMWV9D+emxbAtlIxnYvCWlV4IwAQhEHfvudqYaIY3hNWrvQ6H
 GB2KXoTZYN9g5djm14/5nj1IU5zOcovkjJnKhoo9iStnpFF2cwARAQABtCdKb25hdGhhbiBT
 LiBLYXR6IDxqa2F0ekBwb3N0Z3Jlc3FsLm9yZz6JAlQEEwEIAD4CGwMFCQeGH4AFCwkIBwIG
 FQoJCAsCBBYCAwECHgECF4AWIQT6hLaVryv3miBkP/HxBJxynxxlJwUCW1KJJQAKCRDxBJxy
 nxxlJwjrD/kBgqsW4QpNpTFw7ifRokZV08CCX4huPBJQ91rrv+UEWlEcotFBHVkYyHnpzARl
 tcZxhJ9CbFxjniH9cOTty5T/O1yolbOHtZSW8Z8aWV6BVEbjMb+BFxSSLm7RnvJdzQbGCZq2
 ZZvfVpB6z3EHYph4KDdVKvMFjoLskxmdS1DE0tE3zTxvoQsi24Q+HOS07kUjs6fsu/WICMfz
 mgO++AWG9Y0CvN0mm4TkujESzyKM9E5irD+leEMIcddl51Aa2c/VMfBXQbRmpHIgUFTmuHQD
 CnQih+9i3OJAksDg66SP8a7yiXv5mwvyDi1EfTGVKYR2j+pwyjwnC3oIbvDMmB3uTn2JIjnT
 iZKPVtAcAylXjubFltihQgNyuShdP4W+kBwZizhUFqUVL8Anx+KoytYmJPfMRFLGuK4obXKq
 a2ZS3k9KB+H+isOx2nFJOsc7V360Zp1DVaNmuiK10TT6QndShSPaqkJqFtCb6r92rZ9sZM/L
 3vtCI4Rrl3Pt1MgtENXupS8gZpJnAYS0j5A1PAZ09r6ANoaeMHspF+5J5fOHeEvqphXr36mm
 a83Vl1t4orPb0+QmmijmlpseDU63M88Aw5p3c4qj7t8Qr2EZ5zrn7/sFn5wOfbs8Nymxafif
 QCnlV2vg9p0m7vSk/yLJ4PFZvs52FgqAGRCdRn0s2EC99bkCDQRbUocAARAAv8ho/toQ9DG3
 j4f9h9n1aRHr2FlviN2Utpy6L8+dfDggO0geilmkGQOolZ2E60gGfye/kUtF9W3NByO4hxDR
 9u6qbOXcdqnuA+cc68EfqlWFJrVtYFxt0h4ElWYOYnIezKthriWch/FY70FGrxs3z8UHOHq5
 0wBW433eTvZm90WixBiXEt2v1DgW4Vr3ymfO7Aap/IYyPuE4JzgudAuAl0HKPyNEHWHG1dAb
 jX1RiCw9gknIDWQOF0B4UAaJctWGVcnZ3A2ULwNGMa1P9ZJlBWf1vcj01aiHMU0yQ7JjJiSp
 vfm9eM0uSLwRdDrJjyl5ZZqVumjdv2SMNQ8GvYRbEMys3GGDSt9zXgfCSUnPnJfYxjzBHRI6
 x44Wfsx8S6hWxepOogCJJ/g67Bk9mY8YV4klWIXDJVOL5jnBC09DbsZG81JaE2QxB8Y7W36Z
 Mroi9XMxg3s805hQAQUvdG/poU8hN8BWdrnTm/+4eQQp7gDY1ePDmGM6bJC+OHOSnFtR/f+7
 0zpKJ10cc7cBygGnl1yR3KjhFyAWUFvP4ZGziKCcpMwXZfe9PGuyA/YOubMphxIn3YsK2wrd
 faKZYX2GMZCZhMMcvx9IpQrxIJgU+VlwXu/O+Lk10VIPcxPJJwmpdI6HzcS8ZgG6IMcC444X
 XTuLaP8j2mgcMvYak3ScCykAEQEAAYkCPAQYAQgAJhYhBPqEtpWvK/eaIGQ/8fEEnHKfHGUn
 BQJbUocAAhsMBQkHhh+AAAoJEPEEnHKfHGUnReMP/RA2UhGQj+G4uBshkRLjpRysabdPqgQB
 dEBk6wYbio88Wg/2/hgY7UzmDDEwX3sZfQDcrI6+vIobI8uqstZID+WgAAa1JLfChMyVQnSy
 0zfWMOABXscc5tGuvFRZvJklTissMFjXUwaREEKp4ZikTvJ/62MCjSdtrUhnPLvoTsHTKRKD
 ichE+b5A54alwsubTijw12O6N22r5IjZiiSZV0u7dsShyKw+7wCSax9fuBoE43NMYf+dnjMK
 nerAQYUcZWYMnk+EC8RaqYAxv6XZ2tKx1AkGGktwkQIBwrz9IlDSvJ3LWJ2UIIuLRTdngNgg
 GIL4zzuUa2F56FqskQIuYMaNETk6LYfalBDQ6TVLAcgCPQxp4k4i/PRsZ3lZ2ZhRHRYciOvm
 kp+I6EfHwllQpYrWs1thluBGqlJSVJgKl0IOFvKLsQ6KKfqzAwh6FxrO5qajp4viNIgtWoFw
 O5Bp0jgFTbH2OrMWIRfUdUCH1Djbuo65svhNj7FNsQVYzHDI+Nd1I/LOBoPc3UorRMF2M4JV
 kUR7skOHWUbPTSNUr7qc14NSMY3PKjGeVGAsBVHBPvmRx/Ss2tW/TpJWpxg4pmquFQSXuaYh
 Yf4FN8Sxy320pcr+FqN8AhZkYJcNY82OTtR5VEKRC/mYcyq61qXIKqngydn79bJjGxHipxyF FmEC
Message-ID: <5f6b986b-de4d-8a43-1366-fc8c3aed6319@postgresql.org>
Date: Mon, 29 Apr 2019 13:14:25 -0400
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:60.0)
 Gecko/20100101 Thunderbird/60.6.1
MIME-Version: 1.0
In-Reply-To: <155655432452.1371.6115195379691603427@wrigleys.postgresql.org>
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature";
 boundary="LhDIzfrLhnkATP0NIkiL6jLKIhlDueJIy"
Precedence: bulk

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--LhDIzfrLhnkATP0NIkiL6jLKIhlDueJIy
Content-Type: multipart/mixed; boundary="S0r6opC3H6ylkbR4cBMqIuiJKltqK4b1H";
 protected-headers="v1"
From: "Jonathan S. Katz" <jkatz@postgresql.org>
To: kes-kes@yandex.ru, pgsql-docs@lists.postgresql.org,
 PG Doc comments form <noreply@postgresql.org>
Message-ID: <5f6b986b-de4d-8a43-1366-fc8c3aed6319@postgresql.org>
Subject: Re: Why 'infinity' is not in range '[2019-01-02, infinity]'?
References: <155655432452.1371.6115195379691603427@wrigleys.postgresql.org>
In-Reply-To: <155655432452.1371.6115195379691603427@wrigleys.postgresql.org>

--S0r6opC3H6ylkbR4cBMqIuiJKltqK4b1H
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: quoted-printable

On 4/29/19 12:12 PM, PG Doc comments form wrote:
> The following documentation comment has been logged on the website:
>=20
> Page: https://www.postgresql.org/docs/11/rangetypes.html
> Description:
>=20
> Hi.
>=20
> May I read this:
>=20
> But [today,infinity] means something different from [today,infinity) =E2=
=80=94 the
> latter excludes the special timestamp value infinity.
>=20
> as=20
>=20
> But [today,infinity] means something different from [today,infinity) =E2=
=80=94 the
> **first includes** the special timestamp value infinity.
>=20
> But previous paragraph says:
>=20
> But note that these infinite values are never values of the range's ele=
ment
> type, and can never be part of the range. (So there is no such thing as=
 an
> inclusive infinite bound =E2=80=94 if you try to write one, it will aut=
omatically be
> converted to an exclusive bound.)
>=20
> if 'infinity' can not be the part of a range this will mean:
>=20
> [today,infinity] means same as [today,infinity)
>=20
> errr... which one is correct? Please fix documentation.

'infinity' in that case is a special type of date/timestamp:

https://www.postgresql.org/docs/current/datatype-datetime.html#id-1.5.7.1=
3.19.8

which is what that paragraph is referring to. It's discussing
"infinity-like" objects you may see that are different than how range
types treat infinity.

I re-read the language, I would not advocate for making any changes.


> PS. The problem I am faced into:
> I am implementing be-temporal interface. I have current period. It can =
be
> [2019-01-01,2019-02-01),
> [2019-02-01,2019-03-01) and [2019-03-01,infinity) for the current month=
=2E
>=20
> When I setup current_period to one of those I will get Orders at that
> period. The Orders have with 'last_bill_date' field which will show the=
 date
> of Invoice for that Order.
> For new Order we can set 'infinity' into 'last_bill_date' which will me=
an
> that we should create Invoice.
> Now to select all Order for which we should create Invoice we can write=
:
>=20
> select * from "order" o where o.last_bill_date +interval o.bill_interva=
l <@
> current_period();
>=20
> This seems obvious that infinity is part of [value, infinity) ( or
> [value,infinity] ) range. (in other words the 'infinity' is always the =
part
> of range with infinite inclusive or exclusive bound.
>=20
> This is just view from my point, there can be things that I am not awar=
e of.

You should drop the 'infinity' and just let it be NULL, i.e.

daterange('2019-03-01', NULL);

Jonathan


--S0r6opC3H6ylkbR4cBMqIuiJKltqK4b1H--

--LhDIzfrLhnkATP0NIkiL6jLKIhlDueJIy
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE+oS2la8r95ogZD/x8QSccp8cZScFAlzHMPIACgkQ8QSccp8c
ZSeO+RAAjrR0RHilo9TXG1S9y6Li8vnoyMeIl82Jl2BjFFzNIQ+JG5mE4zh59bBJ
3ZfHCtB6oZ87RExOIHpZO3VxXQ1FkszYu4+cdXjplS1hPHdISHh+VGuzGaCuKExN
9PRKiA9WA0x6J9qwzjlx+qT7zwEE5qkVdFgJYi/5r6P3cODcCa+bhIL48GqdKV14
RR91mMsCp14Benf9jv1ob2xwTqmJRwDKSxRKtEBv/JSgXGjrwvi108x41OiMAA4u
gzn3w1mUywY/2TcN9nbXIt1cuiA+6M4QNXITuESfik4h4X30gZRQgyECLchGVVqc
6swCzhOuIQuB7mBaikBiZWTrtVK9RZrrzpsMNQNzYp3PL1E0bP/R/qX2M5oPaK0L
guxiE5TYPlEBmLDNTYxD/ehf4CvuRIFvhIyzB/E5kgGwJ2NoVOrGF3hUc84L1KoD
GR10LaARgzNaaGKHkSnFE57BU90zjP46Qp+Vt/8YNkpE9FamqH2/ZXFBl4Vmx4xF
tLlHbY37ItqdsFUoQwQIpQVRdysWRGbcet+6mHEpB7Ubc5z6/5R8MoljgBpG+phs
+8yj6soIcEJ8nhBwAw1wm9O62BWQqeABOQ0wi6zcryXepWMys9b4Lg5MN7RqlaAO
mvH/rczpHgMdkwmnbTaVXb67RlvP81O3XPppMhr1h+2E6KtizoU=
=t0Jx
-----END PGP SIGNATURE-----

--LhDIzfrLhnkATP0NIkiL6jLKIhlDueJIy--