On Multiple Semantics for Declarative Database Repairs

Amir Gilad, Daniel Deutch, Sudeepa Roy

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We study the problem of database repairs through a rule-based framework that we refer to as Delta Rules. Delta rules are highly expressive and allow specifying complex, cross-relations repair logic associated with Denial Constraints, Causal Rules, and allowing to capture Database Triggers of interest. We show that there are no one-size-fits-all semantics for repairs in this inclusive setting, and we consequently introduce multiple alternative semantics, presenting the case for using each of them. We then study the relationships between the semantics in terms of their output and the complexity of computation. Our results formally establish the tradeoff between the permissiveness of the semantics and its computational complexity. We demonstrate the usefulness of the framework in capturing multiple data repair scenarios for an academic search database and the TPC-H databases, showing how using different semantics affects the repair in terms of size and runtime, and examining the relationships between the repairs. We also compare our approach with SQL triggers and a state-of-the-art data repair system.

Original languageEnglish
Title of host publicationSIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data
PublisherAssociation for Computing Machinery
Number of pages15
ISBN (Electronic)9781450367356
StatePublished - 14 Jun 2020
Event2020 ACM SIGMOD International Conference on Management of Data, SIGMOD 2020 - Portland, United States
Duration: 14 Jun 202019 Jun 2020

Publication series

NameProceedings of the ACM SIGMOD International Conference on Management of Data
ISSN (Print)0730-8078


Conference2020 ACM SIGMOD International Conference on Management of Data, SIGMOD 2020
Country/TerritoryUnited States


FundersFunder number
Israeli Science Foundation978/17
National Science Foundation1703431, 804302, IIS-1703431, IIS-1552538
National Institutes of HealthR01EB025021
Horizon 2020 Framework Programme
European Research Council


    • database constraints
    • provenance
    • repairs
    • triggers


    Dive into the research topics of 'On Multiple Semantics for Declarative Database Repairs'. Together they form a unique fingerprint.

    Cite this