Я отвечал на этот вопрос stackoverflow и нашел странный результат:
select * from pg_timezone_names where name = 'Europe/Berlin' ;
name | abbrev | utc_offset | is_dst
---------------+--------+------------+--------
Europe/Berlin | CET | 01:00:00 | f
и следующий запрос
select id,
timestampwithtimezone,
timestampwithtimezone at time zone 'Europe/Berlin' as berlin,
timestampwithtimezone at time zone 'CET' as cet
from data ;
id | timestampwithtimezone | berlin | cet
-----+------------------------+---------------------+---------------------
205 | 2012-10-28 01:30:00+02 | 2012-10-28 01:30:00 | 2012-10-28 00:30:00
204 | 2012-10-28 02:00:00+02 | 2012-10-28 02:00:00 | 2012-10-28 01:00:00
203 | 2012-10-28 02:30:00+02 | 2012-10-28 02:30:00 | 2012-10-28 01:30:00
202 | 2012-10-28 02:59:59+02 | 2012-10-28 02:59:59 | 2012-10-28 01:59:59
106 | 2012-10-28 02:00:00+01 | 2012-10-28 02:00:00 | 2012-10-28 02:00:00
Я использую PostgreSQL 9.1.2 и Ubuntu 12.04.
Только что проверил, что на 8.2.11 результат такой же.
Согласно документации, не имеет значения, использую ли я имя или сокращение.
Это ошибка?
Я делаю что-то неправильно?
Может кто-нибудь объяснить этот результат?
РЕДАКТИРОВАТЬ Для комментария, что CET не Европа / Берлин.
Я просто выбираю значения из pg_timezone_names.
select * from pg_timezone_names where abbrev ='CEST';
name | abbrev | utc_offset | is_dst
------+--------+------------+--------
и
select * from pg_timezone_names where abbrev ='CET';
name | abbrev | utc_offset | is_dst
---------------------+--------+------------+--------
Africa/Tunis | CET | 01:00:00 | f
Africa/Algiers | CET | 01:00:00 | f
Africa/Ceuta | CET | 01:00:00 | f
CET | CET | 01:00:00 | f
Atlantic/Jan_Mayen | CET | 01:00:00 | f
Arctic/Longyearbyen | CET | 01:00:00 | f
Poland | CET | 01:00:00 | f
.....
Зимой Европа / Берлин +01. Летом это +02.
EDIT2
В 2012-10-28 часовом поясе изменился с летнего времени на зимнее время в 2:00.
Эти две записи имеют одинаковое значение в Европе / Берлине:
204 | 2012-10-28 02:00:00+02 | 2012-10-28 02:00:00 | 2012-10-28 01:00:00
106 | 2012-10-28 02:00:00+01 | 2012-10-28 02:00:00 | 2012-10-28 02:00:00
Это говорит о том, что если я использую одно из сокращений (CET или CEST) для большого диапазона данных (летнее и зимнее время), результат будет неправильным для некоторых записей. Будет хорошо, если я буду использовать «Европа / Берлин».
Я изменил системное время на «2012-01-17», а также изменилось имя pg_timezone_names.
select * from pg_timezone_names where name ='Europe/Berlin';
name | abbrev | utc_offset | is_dst
---------------+--------+------------+--------
Europe/Berlin | CEST | 02:00:00 | t
CET
, нет Europe/Berlin
- по крайней мере, во времена DST.
2012-10-28 01:30:00
это CEST, а не CET.