We assume for now that a failure of the computer system may result in loss
of data in main memory, but data written to disk are never lost. Protection
against loss of data on disk is discussed in Chapter 16. We can guarantee
durability by ensuring that either: