[MonetDB-users] [Question]How to change the format of datetime?