From: Tomas Vondra <tomas.vondra@enterprisedb.com>
To: Ashutosh Bapat <ashutosh.bapat.oss@gmail.com>
Cc: Dean Rasheed <dean.a.rasheed@gmail.com>
Cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Subject: Re: BRIN minmax multi - incorrect distance for infinite timestamp/date
Date: Wed, 18 Oct 2023 10:16:21 +0200
Message-ID: <968df036-44a5-a71b-5d9e-136701fcb2ba@enterprisedb.com> (raw)
In-Reply-To: <31400145-6f71-a6b2-e371-048a8e1584ef@enterprisedb.com>
References: <eef0ea8c-4aaa-8d0d-027f-58b1f35dd170@enterprisedb.com>
<CAEZATCWwqTdcBC1ee1uLp+KG4XZLmxFwEGX9y9sBLUR+OdQHeA@mail.gmail.com>
<14c205c6-fbf4-d2f2-3ea8-a7d5c5d63180@enterprisedb.com>
<CAEZATCUNjgmTfTJnkR+DMXfRbrm+bqJuEZ-fKRJF3X4mr=o3LQ@mail.gmail.com>
<75de1895-3bd9-242e-cf13-3f5b0281e676@enterprisedb.com>
<CAEZATCV0kY0gWCLChf_x_Drh4KUEKcmBPD+cggcSju6yHaRYYA@mail.gmail.com>
<CAExHW5tsrfu3k5We1tr_ANaQ_0OJc6Zf2YMB+TkmB2PQwirAPQ@mail.gmail.com>
<dd7fcf77-414b-b4b2-358a-0fc505255fba@enterprisedb.com>
<CAExHW5vcq6mJJRH3wPytDataDw+HZgs-E7b=e+SXpWgo7BoTsg@mail.gmail.com>
<31400145-6f71-a6b2-e371-048a8e1584ef@enterprisedb.com>
On 10/17/23 22:25, Tomas Vondra wrote:
> Hi,
>
> Here's a couple cleaned-up patches fixing the various discussed here.
> I've tried to always add a regression test demonstrating the issue
> first, and then fix it in the next patch.
>
> In particular, this deals with these issues:
>
> 1) overflows in distance calculation for large timestamp values (0002)
>
> 2) incorrect subtraction in distance for date values (0003)
>
> 3) incorrect distance for infinite date/timestamp values (0005)
>
> 4) failing distance for extreme interval values (0007)
>
> All the problems except "2" have been discussed earlier, but this seems
> a bit more serious than the other issues, as it's easier to hit. It
> subtracts the values in the opposite order (smaller - larger), so the
> distances are negated. Which means we actually merge the values from the
> most distant ones, and thus are "guaranteed" to build very a very
> inefficient summary. People with multi-minmax indexes on "date" columns
> probably will need to reindex.
>
BTW when adding the tests with extreme values, I noticed this:
test=# select '5874897-01-01'::date;
date
---------------
5874897-01-01
(1 row)
test=# select '5874897-01-01'::date + '1 second'::interval;
ERROR: date out of range for timestamp
IIUC this happens because the first thing date_pl_interval does is
date2timestamp, ignoring the fact that the ranges of those data types
are different - dates allow values up to '5874897 AD' while timestamps
only allows values up to '294276 AD'.
This seems to be a long-standing behavior, added by a9e08392dd6f in
2004. Not sure how serious it is, I just noticed when I tried to do
arithmetics on the extreme values in tests.
regards
--
Tomas Vondra
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-hackers@postgresql.org
Cc: tomas.vondra@enterprisedb.com, ashutosh.bapat.oss@gmail.com, dean.a.rasheed@gmail.com, pgsql-hackers@lists.postgresql.org
Subject: Re: BRIN minmax multi - incorrect distance for infinite timestamp/date
In-Reply-To: <968df036-44a5-a71b-5d9e-136701fcb2ba@enterprisedb.com>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox