Databases Avoid Data Loss with Write-Ahead Logs