TLA+ Specification of Redo-Only ARIES An recovery algorithm with steal & no-force semantic Background flush & checkpointing Redo-only, no transaction or undo log Reference InnoDB Redo Log: https://dev.mysql.com/doc/dev/mysql-server/latest/PAGE_INNODB_REDO_LOG.html