Rollback procedure for redo logging