date_format_spec ::= DATEFORMAT {{DATE | {TIME | TIMESTAMP} [ WITH TIMEZONE]} MASK \"date/time mask\" } | INTERVAL { YEAR_TO_MONTH | DAY_TO_SECOND }