如何在 dolphindb 中转换时间格式？

【问题标题】：How to convert time format in dolphindb?如何在 dolphindb 中转换时间格式？
【发布时间】：2020-05-31 14:19:27
【问题描述】：

我有一个时间戳类型，比如x = 2020.01.24，如何在 DolphinDB 中将其转换为“24-01-2020”格式？目前我必须使用字符串操作。

【问题讨论】：

【解决方案1】：

请使用format函数格式化日期。

x= 2020.01.24
format(x, "dd-MM-yyyy")

【讨论】：