Здравствуйте, Centaur, Вы писали:

C>Вы неправильно это делаете. Обновления должны быть построены так, чтобы все инварианты сохранялись всегда.

Почему вы считаете неправильной ситуацию, когда проверка инвариантов откладывается до завершения транзакции?