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