Считает ли PostgreSQL вложенные операторы BEGIN и END, даже если он не поддерживает автономные транзакции?

Я работаю над некоторым кодом C ++, который использует libpq для взаимодействия с базой данных PostgreSQL, и я начал писать некоторые функции, каждая из которых внутренне запускает транзакцию, применяет несколько изменений к БД, а затем завершает транзакцию.

Теперь я хотел бы вызвать одну из этих функций в сочетании с другим оператором DML, и все они выполняются в одной транзакции. Примерно так (примечание: очень упрощенно):

void doFoo(PGconn* con) {
    PQexec(con, "BEGIN" );
    PQexec(con, "insert into ..." );
    PQexec(con, "delete from ..." );
    PQexec(con, "END" );
}

void doFooPlus(PGconn* con) {
    PQexec(con, "BEGIN" );
    doFoo(con);
    PQexec(con, "update ..." );
    PQexec(con, "END" );
}

void main(void) {
    doFooPlus(con);
}

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

Позвольте мне попытаться уточнить дальше. Вот что PostgreSQL в конечном итоге увидит из приведенного выше кода C ++ (ну, на самом деле, просто C):

BEGIN
BEGIN
insert into ...
delete from ...
END
update ...
END

Что меня беспокоит, так это то, что второй вызов BEGIN полностью игнорируется, и поэтому первый вызов END завершит транзакцию, начатую первым вызовом BEGIN, и поэтому оператор обновления не будет включен в атомарности блока транзакции.

Согласно http://www.postgresql.org/docs/9.4/static/sql-begin.html:

Выдача BEGIN уже внутри блока транзакции вызовет предупреждающее сообщение. На состояние транзакции это не влияет. Чтобы вложить транзакции в блок транзакции, используйте точки сохранения (см. SAVEPOINT).

Комментарий о точках сохранения кажется мне вводящим в заблуждение; PostgreSQL не поддерживает вложенные (автономные) транзакции; точки сохранения предоставляют только способ отката к точке в середине существующей транзакции. Точки сохранения сами по себе не являются транзакциями, поэтому я не могу заменить ими BEGIN и END в doFoo(), потому что тогда я не смогу вызвать doFoo() сам по себе (то есть не из doFooPlus()) и все равно получить атомарность транзакции для вставки и удаления, выполняемой doFoo().

Комментарий о состоянии транзакции «не [не] затронутой» вложенным BEGIN, похоже, подразумевает, что PostgreSQL не будет ее считать и фактически полностью проигнорирует, но цитируемая фраза не совсем < / em> проясни мне, что я не собирался спрашивать об этом в Stack Overflow. Я все еще держу унцию надежды, что PostgreSQL по-прежнему будет считать вложенный BEGIN на какой-то внутренний «уровень вложенности», который будет уменьшаться первым END, а затем снова уменьшаться вторым END, вызывая всю последовательность операторов, которые будут рассматриваться как одна атомарная транзакция.

> pgtestabc begin begin 'update t1 set a=1;' 'update t1 set b=1;' end 'update t1 set c=1;' rollback;
executing "begin"...done
executing "begin"...done
executing "update t1 set a=1;"...done
executing "update t1 set b=1;"...done
executing "end"...done
executing "update t1 set c=1;"...done
executing "rollback"...done
1|1|1