タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEでの現在の日付がDATE '2008-05-14' と仮定すると、次のSELECT文は次の結果を返します。 TIMESTAMP '2008-05-14 08:30:00+09:00'
SET TIME ZONE INTERVAL '09:00' HOUR TO MINUTE; SELECT CAST(TIME '08:30:00' AS TIMESTAMP(0) WITH TIME ZONE); SELECT CAST(TIME '08:30:00' AS TIMESTAMP(0) WITH TIME ZONE AT LOCAL);
現在のセッションのタイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEを使用して、文字列定数のUTC値'23:30:00'を決定します。CASTの場合は、ソースの式値'23:30:00' (UTC)が、現在のセッションのタイムゾーン変位INTERVAL '09:00' HOUR TO TO MINUTEに調整され、'08:30:00'が導き出されます。
タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEでの現在の日付'2008-05-14'と、上記の調整後に取得したソースの式値の時間部分'08:30:00'からタイムスタンプが生成されます。タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEでの、このタイムスタンプ'2008-05-14 08:30:00'はUTCに合わせて調整されるため、CASTの結果はUTCで'2008-05-13 23:30:00'と、タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEを併せたものになります。
UTCでのCASTの結果値はタイムゾーン変位INTERVAL '09:00:00' HOUR TO MINUTEに調整されるため、SELECT文の結果は次のようになります。TIMESTAMP '2008-05-14 08:30:00+09:00'