Как преобразовать столбец «время» с типом INT в тип времени при импорте файла CSV в DolphinDB?

Question

Я использовал следующий скрипт для указания схемы таблицы:

schema=extractTextSchema(dataFilePath)
update schema set type="TIME" where name="time"
tb=table(1:0, schema.name, schema.type)
tb=db.createPartitionedTable(tb,`tb1,`date)

Вызов функции loadTextEx для импорта данных с указанной схемой:

tmpTB = loadTextEx(db,`tb1,`date,dataFilePath)

Но система выдала сообщение об ошибке : «Столбец [время] ожидает тип ВРЕМЕНИ, но фактический тип - INT."