PostgreSQL - wie kann man ein Datum in einer anderen Zeitzone rendern?

Der Schlüssel besteht darin, die lokale Zeitzone für die Dauer der Transaktion auf die gewünschte Anzeigezeitzone umzustellen:

begin;
set local timezone to 'EST5EDT';
select to_char('2012-05-29 15:00:00'::timestamp at time zone 'CDT',
  'YYYY-MM-DD HH24:MI:SS TZ');
end;

Das Ergebnis ist:

2012-05-29 16:00:00 EDT

Beachten Sie, dass mit set [local] timezone Es ist erforderlich, vollständige Zeitzonennamen anstelle von Abkürzungen zu verwenden (z. B. würde CST nicht funktionieren). Schauen Sie in den pg_timezone_names nach nach gültigen Auswahlmöglichkeiten suchen.

Um diese Methode in einem Kontext zu verwenden, der einem to_char()-Aufruf ähnelt, glaube ich, dass diese Funktion die Aufgabe erfüllt:

CREATE FUNCTION display_in_other_tz(
      in_t timestamptz,
      in_tzname text,
      in_fmt text) RETURNS text
AS $$
DECLARE
 v text;
 save_tz text;
BEGIN
  SHOW timezone into save_tz;
  EXECUTE 'SET local timezone to ' || quote_literal(in_tzname);
  SELECT to_char(in_t, in_fmt) INTO v;
  EXECUTE 'SET local timezone to ' || quote_literal(save_tz);
  RETURN v;
END;
$$ language plpgsql;