int 类型转Time类型

Question

需求：time列转化为Time类型，转化成09:12:49.000这种

Answer 1

temporalParse(X, format)函数的用法：
X是一个字符串；format是表示时间序列对象格式的字符串。
当前time是int类型，应该不能直接传入temporalParse()，可以使用time.format("000000000").datetimeParse("HHmmssSSS")语句进行转换

Answer 2

已解决，使用temporalParse(time,"HHmmssSSS")

Answer 3

可以使用replaceColumn！函数，例子如下：

t =table(1 2 3 as id, 091249000 091250000 091301000 as time);
time=timestamp(exec time from t);
replaceColumn!(t,`time,time);