Why timestamptz_pl_interval and timestamptz_mi_interval are not immutable?

Started by Alexander Pyhalovover 4 years ago2 messages
#1Alexander Pyhalov
a.pyhalov@postgrespro.ru

Hi.

I'm currently looking on pushing down SQLValue expressions to foreign
servers and was surprised that two timestamptz-related functions are not
immutable.
I see that this was changed in commit

commit 1ab415596d1de61561d0de8fe9da4aea207adca4
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: Mon Oct 4 22:13:14 2004 +0000

Correct the volatility labeling of ten timestamp-related functions,
per discussion from Friday. initdb not forced in this commit but I
intend
to do that later.

I'm not sure, why timestamptz_pl_interval and timestamptz_mi_interval
are not immutable. Even if we change timezone during transaction,
addition of the same interval to the same timestamps with time zone
gives the same result.

postgres=# begin ;
BEGIN
postgres=*# select current_timestamp;
current_timestamp
-------------------------------
2021-08-16 13:26:59.366452+03
(1 row)

postgres=*# select timestamptz '2021-08-16 13:26:59.366452+03';
timestamptz
-------------------------------
2021-08-16 13:26:59.366452+03
(1 row)

postgres=*# select timestamptz '2021-08-16 13:26:59.366452+03' + '2
days'::interval;
?column?
-------------------------------
2021-08-18 13:26:59.366452+03
(1 row)

postgres=*# set timezone to UTC;
SET
postgres=*# select timestamptz '2021-08-16 13:26:59.366452+03' + '2
days'::interval;
?column?
-------------------------------
2021-08-18 10:26:59.366452+00
(1 row)

postgres=*# select timestamptz '2021-08-18 13:26:59.366452+03' =
timestamptz '2021-08-18 10:26:59.366452+00';
?column?
----------
t
(1 row)

What do I miss?

--
Best regards,
Alexander Pyhalov,
Postgres Professional

#2Floris Van Nee
florisvannee@Optiver.com
In reply to: Alexander Pyhalov (#1)
RE: Why timestamptz_pl_interval and timestamptz_mi_interval are not immutable?

What do I miss?

--
Best regards,
Alexander Pyhalov,
Postgres Professional

See for example around DST changes

postgres=# begin;
BEGIN
postgres =# show timezone;
TimeZone
------------------
Europe/Amsterdam
(1 row)

postgres=# select '2021-03-27 15:00 +0100'::timestamptz + interval '1d';
?column?
------------------------
2021-03-28 15:00:00+02
(1 row)

postgres =# set timezone to UTC;
SET
postgres =# select '2021-03-27 15:00 +0100'::timestamptz + interval '1d';
?column?
------------------------
2021-03-28 14:00:00+00
(1 row)

postgres =# select '2021-03-28 15:00:00+02' = '2021-03-28 14:00:00+00';
?column?
----------
f
(1 row)