Comment formater “le temps de la zone de” dans Postgres?

J'ai un champ de base de données de type time with time zone. Comment puis-je demander à ce champ dans EST5EDT fuseau horaire avec la sortie au format hh:mm:ss?

Tout ce que je peux trouver est l'utilisation de plusieurs appels à EXTRACT:

SELECT EXTRACT(HOUR FROM TIME WITH TIME ZONE '20:38:40-07' AT TIME ZONE 'EST5EDT');

[Edit:]

Pour être clair, cette requête:

SELECT TIME WITH TIME ZONE '20:38:40.001-07' AT TIME ZONE 'EST5EDT';

Renvoie "22:38:40.001" mais je veux juste "22:38:40" comme la sortie.

OriginalL'auteur griffin | 2009-12-21