ASukhov1986...можно сказать что тело процедуры является транзакцией?
это неправильно построенное утверждение.

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

вложенные транзакции в скл отсутствуют. существует эквивалентная абстракция -- сейвпойнты. в теле плпгскл ф-й это блоки бегин-ендов со встроенными обработчиками. в РТФМ им иногда соответствует понятие "сабтранзакций". вкрапленное довольно редко в описание внутренней кухни.

ASukhov1986В руководстве написано следующее ( https://postgrespro.ru/docs/postgrespro/9.6/plpgsql-porting ):
42.12.2.1. Неявный откат изменений после возникновения исключения
В PL/pgSQL при перехвате исключения в секции EXCEPTION все изменения в базе данных с начала блока автоматически откатываются.ааа вы о разнице со аракалом, который откатывает только по сбойный стейтмент.

да, тут вам придется навтыкать столько вложенных бегин-ендов с обработчиками, сколько вариантов отката вам захочется поиметь.

ASukhov1986qwwq,
как я понимаю:
при возникновении ошибки в некоторой команде функции, будут отменены результаты всех предыдущих команд функции до BEGIN (в моем примере это две команды INSERT) и функция завершится с ошибкой, в моем примере третья команда INSERT не выполниться.
и всех другие стейтменты и вызванные в них ф--ии, которые вызывались в той же транзакции.

и вообще -- читайте. напр.
https://postgrespro.ru/docs/postgrespro/9.6/plpgsql-control-structures#plpgsql-error-trapping
и проверяйте себя тестами. пж -- не оракл. вы можете позволить себе столько тестовых инстансов в каждом утюге, сколько захотите. и чудо--человек дба не понадобится.