Der erfolgreiche Abschluß einer Transaktion erfolgt durch eine Sequenz der Form
Der erfolglose Abschluß einer Transaktion erfolgt entweder durch eine Sequenz
der Form
oder durch das Auftreten eines Fehlers
In diesen Fällen muß der
Transaktionsverwalter auf den Anfang der Transaktion zurücksetzen.