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