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