mysql - 将字符串 yyyymmddhhmmss 转换为 hh :mm:ss format in SQL

Question

对于像 20160125173013 这样的字符串 DATETIME yyyymmddhhmmss，我想将此字符串转换为 hh:mm:ss (17:30:13) code> 作为带有 sql 更新语句的表中名为“Time”的新列。但是我只能使用 stuff 函数将其转换为 17:30。 有没有可能的解决方案来转换？

在我的声明中

UPDATE db
SET Time =convert(time, stuff(substring(DATETIME,9,6),3,2,':'))
FROM db
WHERE Time IS NULL

实际输出=17:13:00.0000000

但我的预期输出是17:13:00

非常感谢!

Answer 1

这是mysql的奇迹:

SELECT time(str_to_date('20160125173013', '%Y%m%d%H%i%s'));