从PostgreSQL中的数字获取月份名称

我有一个列的列(整数).在这个列中,我存储像1,2,… 12这样的值.
但我必须显示月份名称.

例如：
如果值为1,我需要显示jan.

基本上@small_duck已经发布了,但有一些改进：

SELECT to_char(to_timestamp (4::text,'MM'),'TMmon')

>一个简单的转换为文本4 ::文本就够了,不需要to_char(..).
>问题小写“jan”,有一个template pattern：
>如果要本地化输出,请使用modifier TM为模板添加前缀.