Как создать хранимую процедуру в Postgres в среде Pgadmin

Создать хранимую процедуру, заполняющую данную таблицу текущей датой временем в поле time и случайным значением от 0 до 10 в поле value.

• Настроить задачу, выполняющий данную процедуру каждые 5 секунд.
• Настроить триггер, записывающий время, когда значение было более 9 в отдельную таблицу.
• Настроить представление данных, представляющее собой поминутно агрегированные данные таблицы.

Совсем новичок в базах, возможно кто то сталкивался с подобной задачей, не знаю, где найти адекватную информацию по созданию хранимых процедур и триггеров.