Repair Checking by Integrity Checking

摘要

Repairs are updates to reduce inconsistency. Repair checking finds out if an update is a repair. To do so, we check if the undo of the update increases the amount of integrity violation, using measure-based integrity checking. Sound repair checking by integrity checking requires the latter to be complete. Repair checking by integrity checking compares well to conventional approaches.