Как сравнить два времени в двух разных часовых поясах, если они относятся к одному и тому же моменту времени?

запрос сводится к сравнению времени сервера UTC (левая сторона)

Строго говоря, вы сравниваете тип без учета часового пояса слева с типом с учетом часового пояса справа, что приводит к преобразованию типа слева, предполагая значение по умолчанию TimeZone.

Все сводится к правилам преобразования и текущим настройкам (по умолчанию):

1. Вы можете использовать в часовом поясе столько раз, сколько вам нужно, каждый раз переключая ввод между with и withouttime zone. В этом случае вам, вероятно, понадобится еще по одному с каждой стороны уравнения:
   приведите левый операнд к времени с учетом часового пояса в 'PST':

   SELECT '20:00'::time at time zone 'PST' = '12:00'::time AT TIME ZONE 'PST';
   

   или добавьте еще один сдвиг с 'PST' на 'UTC' справа, чтобы сместить его и после этого удалить часовой пояс:

   SELECT '20:00'::time = ('12:00'::time AT TIME ZONE 'PST' at time zone 'UTC')::time;
   

   См. этот пример:

   SELECT '20:00'::time AS "C"
         ,'20:00'::time::timetz AS "D"
         ,'21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC' AS "E"
         ,('21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC')::time AS "F"
         ,'20:00'::time = ('21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC')::time AS "C=F"
         ,'20:00'::time::timetz = ('21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC')::time AS "D=F"
         ,'21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC' = ('21:00'::time AT TIME ZONE 'PST' AT TIME ZONE 'UTC')::time AS "E=F";
   

   С Д Э Ф С=F Д=Ф Э=Ф 20:00:00 20:00:00+01 20:00:00+00 20:00:00 Т Т ж

2. При сравнении time с timetz Postgres использует правила приведения/преобразования типа , чтобы найти соответствующий оператор =, поскольку нет встроенного time=timetz:

   select oprleft::regtype,oprright::regtype,* 
   from pg_operator 
   where '{time,timetz}'::regtype[] && array[oprleft,oprright]::regtype[]
   and oprname='=';
   

   опрлевый правильно оид имя_опра пространство имен собственник опркинд слияние опрканхэш опрлевый правильно результат опрком опрнегат код операции опррест присоединиться время без часового пояса время без часового пояса 1108 = 11 10 б т т 1083 1083 16 1108 1109 time_eq эксел eqjoinsel время с часовым поясом время с часовым поясом 1550 г. = 11 10 б т т 1266 1266 16 1550 г. 1551 г. timetz_eq эксел eqjoinsel

   Есть только time=time и timetz=timetz. Если вы попытаетесь смешать их, эти правила выберут вариант с учетом часового пояса как предпочтение:

   select typname 
   from pg_type 
   where typname ilike '%time%'
     and typispreferred;
   

   Типовое имя временная метка

   В итоге вам предстоит time::timetz=timetz операция.

3. Когда происходит приведение time::timetz, Postgres принимает значение по умолчанию TimeZone без учета контекста этого приведения. Несмотря на то, что вы четко указали 'PST' справа, слева будет использоваться любой TimeZone, установленный по умолчанию на уровне вашей транзакции, сеанса, пользователя, базы данных или системы прямо сейчас - если не переопределен.

4. Это действительно выполняет свою работу:

   SELECT to_char(('20:00'::time AT TIME ZONE 'PST')::time, 'HH24:MI') = '12:00';
   

   Postgres находит вариант interval_to_char для to_char() посредством приведения time::interval: demo в db<>fiddle

   explain verbose SELECT to_char(('20:00'::time AT TIME ZONE 'PST')::time, 'HH24:MI');
   

   Вывод: to_char(((('20:00:00'::время без часового пояса AT TIME ZONE 'PST'::text))::время без часового пояса)::interval, 'HH24:MI'::text )

   SELECT p.pronamespace::regnamespace as "Schema",
     p.proname,
     pg_catalog.pg_get_function_result(p.oid) as "Result data type",
     pg_catalog.pg_get_function_arguments(p.oid) as "Argument data types",
     prosrc,
     pg_catalog.pg_function_is_visible(p.oid)
   FROM pg_catalog.pg_proc p
   WHERE p.proname ~ '^(to_char)$'
   ORDER BY 1, 2, 4;
   

   Схема проназвание Тип данных результата Типы данных аргументов Просрк pg_function_is_visible pg_catalog to_char текст биинт, текст int8_to_char т pg_catalog to_char текст двойная точность, текст float8_to_char т pg_catalog to_char текст целое число, текст int4_to_char т pg_catalog to_char текст интервал, текст интервал_to_char т pg_catalog to_char текст числовой, текстовый numeric_to_char т pg_catalog to_char текст настоящий, текст float4_to_char т pg_catalog to_char текст временная метка без часового пояса, текст timestamp_to_char т pg_catalog to_char текст временная метка с часовым поясом, текст timestamptz_to_char т

   Однако это слишком много шагов (time::timetz::time::interval::text) только для того, чтобы в конечном итоге получить немного менее эффективное text=text сравнение, в то время как выравнивание типа и часового пояса из пункта 1. дает вам собственное числовое time=time после выполнения всего лишь time::timetz::time.
   Демо показывает, насколько велика может быть разница — она невелика, но она есть, если вам интересно.

Хорошо, думаю, я понял. Часовой пояс можно легко удалить после разговора о часовом поясе обратно во время без часового пояса для сравнения строк:

SELECT to_char(('20:00'::time AT TIME ZONE 'PST')::time, 'HH24:MI') = '12:00';