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