Transactions are atomic

• if a tx commits, all of its changes persist in DB
• if a tx aborts, none of its changes occur in DB

• if a tx commits, its effects persist
  (even in the event of subsequent (catastrophic) system failures)