この例では、現在のセッションのタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEを使用して、TIME定数のUTC値'07:30:00'を決定しています。
CASTの結果は、ソースの式値の時間部分'07:30:00' (UTC)と、現在のタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEから生成されます。
UTCでのCAST '07:30:00'の結果値がタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEに調整され、SELECT文の結果は次のようになります。TIME '08:30:00+01:00'
SELECT文の結果は、UTCの値に基づいて値が比較されるため、TIME '07:30:00+00:00'と等しくなります。
SET TIME ZONE INTERVAL '01:00' HOUR TO MINUTE; SELECT CAST(TIME '08:30:00' AS TIME(0) WITH TIME ZONE); SELECT CAST(TIME '08:30:00' AS TIME(0) WITH TIME ZONE AT LOCAL);