タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEでの現在の日付がDATE '2008-05-14'と仮定すると、次の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)); SELECT CAST(TIME '08:30:00+04:00' AS TIMESTAMP(0) AT LOCAL);
文字列定数のタイムゾーン変位INTERVAL '04:00' HOUR TO MINUTEを使用して、UTC値'04:30:00'と、その文字列定数のタイムゾーン変位INTERVAL '04:00' HOUR TO MINUTEが決定されます。CASTの場合は、ソースの式値'04:30:00' (UTC)が、現在のセッションのタイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEに調整され、'13:30:00'が導き出されます。
タイムゾーン変位INTERVAL HOUR '09:00' TO MINUTEでの現在の日付'2008-05-14'と、ソースの式値'13:30:00'からタイムスタンプが生成されます。タイムゾーン変位INTERVAL '09:00' HOUR TO MINUTEでの、このタイムスタンプ'2008-05-14 13: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'