prev up next

Abschluß einer Transaktion

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

\begin{displaymath}BOT ~~op_1; ~op_2; ~\dots ~; op_n; ~~commit\end{displaymath}

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

\begin{displaymath}BOT ~~op_1; ~op_2; ~\dots ~; op_j; ~~abort\end{displaymath}

oder durch das Auftreten eines Fehlers

\begin{displaymath}BOT ~~op_1; ~op_2; ~\dots ~;op_k; ~~<Fehler>\end{displaymath}

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


prev up next