この例では、文字列定数INTERVAL '04:00' HOUR TO MINUTEで指定されたタイムゾーン変位を使用して、UTC値'2008-06-01 04:30:00'と、文字列定数のタイムゾーン変位INTERVAL '04:00' HOUR TO MINUTEを決定しています。
CASTの結果は、ソースの値式'2008-06-01 04:30:00'(UTC)と、現在のセッションのタイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEを併せたものになります。
UTCでのCASTの結果値はタイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEに調整され、SELECT文の結果は次のようになります。TIMESTAMP '01.06.08 13:30:00+09:00'
SET TIME ZONE INTERVAL '09:00' HOUR TO MINUTE; SELECT CAST(TIMESTAMP '2008-06-01 08:30:00+04:00' AS TIMESTAMP(0) WITH TIME ZONE AT LOCAL);