dolphinDB关于金融数据导入的问题

Question

题目描述

导入金融数据时，在csv文件中，时间类型数据由于为string 或者int
如何处理成datetime类型

例如这个9点30分0秒0毫秒

题目来源及自己的思路

相关代码

指定了读取文件的时间格式，还是无法正确读取
temp_schemaTB[`format] =[,"HHmmssSSS","HHmmssSSS",,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,]
t1 = ploadText(tempPath,,temp_schemaTB)

你期待的结果是什么？实际看到的错误信息又是什么？