Uses a format string to format a timestamp as char. Returns the timestamp as a string.
TIMESTAMP_TO_CHAR('format',ts);
where ‘format’ is a date/time pattern and ts is a timestamp expression.
For information about date/time formats, see Date and Time Patterns.