[MonetDB-users] convert string to timestamp in MonetDB