この例では、現在のセッションのタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEを使用して、TIMESTAMP定数のUTC値'2008-06-01 07:30:00'を決定しています。
CASTの結果は、ソースの式値'2008-06-01 07:30:00' (UTC)の時間部分と、現在のタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEから生成された時間になります。
UTCでのCAST '07:30:00'の結果値がタイムゾーン変位INTERVAL '01:00' HOUR TO MINUTEに調整され、SELECT文の結果は次のようになります。TIME '08:30:00+01:00'
SELECT文の結果は、UTCの値に基づいて値が比較されるため、TIME '07:30:00+00:00'と等しくなります。
SET TIME ZONE INTERVAL '01:00' HOUR TO MINUTE; SELECT CAST(TIMESTAMP '2008-06-01 08:30:00' AS TIME(0) WITH TIME ZONE); SELECT CAST(TIMESTAMP '2008-06-01 08:30:00' AS TIME(0) WITH TIME ZONE AT LOCAL);