この例では、現行セッションのタイムゾーン変位INTERVAL -'04:00' HOUR TO MINUTEを使用して、TIMESTAMP定数のUTC値'2008-06-01 12:30:00'を決定しています。
CASTの結果は、ソース式の値の時刻部分'2008-06-01 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(TIMESTAMP '2008-06-01 08:30:00' AS TIME(0) WITH TIME ZONE AT -8);