Abschluß einer Transaktion

Der erfolgreiche Abschluß einer Transaktion erfolgt durch eine Sequenz der Form

BOT  op₁; op₂; ... ;op_n;  commit

Der erfolglose Abschluß einer Transaktion erfolgt entweder durch eine Sequenz der Form

BOT  op₁; op₂; ... ;op_j;  abort

oder durch das Auftreten eines Fehlers

BOT  op₁; op₂; ... ;op_k;   < Fehler >

In diesen Fällen muß der Transaktionsverwalter auf den Anfang der Transaktion zurücksetzen.