我有一个数字传递为integer，想将其转换为time，并使用该数字作为小时。
我找到了使用数字作为分钟的解决方案，但我不熟悉 PostgreSQL 语法。不知道在这里做什么：
select CAST(to_char(czas, 'FM99909:99') AS TIME WITHOUT
TIME ZONE)::TIME from test
结果将是：
00:15:00
但我正在寻找一种方法来实现它：
15:00:00
我使用 MS SQL 已经有一段时间了，我很惊讶 PostgreSQL 语法要复杂得多。