この例では、CASTの結果は、ソースの式の値'2008-05-14'と、現行セッションのタイムゾーン変位INTERVAL '06:00' HOUR TO MINUTEによってUTCに調整されたデフォルトの時間'00:00:00'から生成されるタイムスタンプになります。したがって、CASTの値は現在のセッションのタイムゾーン変位INTERVAL '06:00' HOUR TO MINUTEによって、'2008-05-13 18:00:00' (UTC)になります。
UTCでのCASTの結果値はそのタイムゾーン変位INTERVAL '06:00' HOUR TO MINUTEに調整されるため、SELECT文の結果は次のようになります。TIMESTAMP '2008-05-14 00:00:00+06:00'
SET TIME ZONE INTERVAL '06:00' HOUR TO MINUTE; SELECT CAST(DATE '2008-05-14' AS TIMESTAMP(0) WITH TIME ZONE); SELECT CAST(DATE '2008-05-14' AS TIMESTAMP(0) WITH TIME ZONE AT LOCAL);