\frametitle{ACID Properties}
  To prevent the mentioned problems\ldots
  \begin{block}{Database management system ensures \emph{ACID properties}}
      \item<2-> \emph{Atomicity:} \\
        transaction executes fully (commit) or not at all (abort)
      \item<5->  \emph{Consistency:} \\
        transactions always leave the database in a consistent state 
        where all defined integrity constraints hold
      \item<4->  \emph{Isolation:}\\
        multiple users can modify the database at the same time
        but will not see each others partial actions
      \item<3-> \emph{Durability:}\\
        once a transaction is committed successfully,
        the modified data is persistent, regardless of disk crashes