Even if the system ensures correct execution of a transaction, this serves little
purpose if the system subsequently crashes and, as a result, the system “forgets”
about the transaction. Thus, a transaction’s actions must persist across crashes.
This property is referred to as durability.