int decode_datetime(string datetime)
Converts a database date and time spec to a system time value.
Date and time spec to decode.