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