Publication | Closed Access

Minimal-change integrity maintenance using tuple deletions

Software MaintenanceEngineeringData IntegrityProgram AnalysisVerificationFormal MethodsSoftware AnalysisComputer ScienceTuple DeletionsFormal VerificationAutomated RepairData SecurityIntegrity Verification