\begin{slide}{Einleitung}

Benutzung:
  \begin{itemize}\itemsep 0pt
  \item Transaktions-Variablen 
  \item Lese- und Schreibzugriffe nur innerhalb einer Transaktion
  \item Transaktion wird atomar ausgeführt
  \end{itemize}
Implementierung:
\begin{itemize}\itemsep 0pt
\item während der Transaktion: Zugriffe in Log schreiben
\item am Ende (commit): prüfen, ob Log konsistent mit
  derzeitigem Speicherzustand ist
\item \dots, wenn nicht, dann Transaktion wiederholen
\end{itemize}


\end{slide}
