PERIOD(TIMESTAMP(n) [WITH TIME ZONE])値は、CAST関数を使用するとPERIOD(TIME[(n)] [WITH TIME ZONE])としてキャストできます。
ソースの開始および終了UTC値の日付部分は、同じDATE値でなければなりません。そのようにしないと、エラーが報告されます。結果要素の時間部分は、対応するソースの時間部分からコピーされます。ターゲットのタイプにWITH TIME ZONEが指定されていて、ソースにもタイムゾーンが含まれている場合には、ソースのタイムゾーン変位が対応する結果要素にコピーされます。ソースにタイムゾーンが含まれていない場合には、現在のセッションのタイムゾーン変位が両方の要素にコピーされます。
ターゲットの精度がソースの精度より高い場合、秒の小数桁の末尾にゼロが追加されます。ターゲットの精度がソースの精度より低い場合、エラーが報告されます。