Поскольку не всегда есть возможность полностью отменить транзакцию, будем называть эти компенсирующие транзакции семантическими откатами.