Может быть более быстрый ответ, но, кажется, это возможно:
- Превращение вашего int в строку
- Чтение этой строки как отметки времени
- Отображение месяца метки времени.
Например:
select to_char(to_timestamp(to_char(4, '999'), 'MM'), 'Mon')
возвращает 'Apr'.
Вы можете превратить его в функцию:
create function to_month(integer) returns varchar as
$$
select to_char(to_timestamp(to_char($1, '999'), 'MM'), 'Mon');
$$ language sql
и используйте его по всему коду.
select to_month(month_column) from mytable