Skip to Main content Skip to Navigation
Journal articles

A Dynamic Logic Account of Active Integrity Constraints

Abstract : Active integrity constraints have been introduced in the database community as a way to restore integrity based on a set of preferred update actions. We view active integrity constraints as dynamic logic programs and show how several semantics of database repair that were proposed in the literature can be characterised in Dynamic Logic of Propositional Assignments DL-PA. We moreover propose a new definition of repair which makes use of the programs of Dynamic Logic to provide repair solutions based on an iterating procedure. After an analysis of their properties and a comparison to the previous approaches, we provide complexity results for the problem of existence of these new repairs. Furthermore, an extension on databases with history is explored and the behavior of the various repairs is adjusted to work in this setting. For all these definitions we provide DL-PA counterparts of reasoning and decision problems, such as the existence of a repair or the existence of a unique repair.
Document type :
Journal articles
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Monday, July 20, 2020 - 9:23:34 AM
Last modification on : Tuesday, October 19, 2021 - 2:23:37 PM
Long-term archiving on: : Friday, November 27, 2020 - 12:04:20 PM


Files produced by the author(s)



Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis. A Dynamic Logic Account of Active Integrity Constraints. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩. ⟨hal-02891607⟩



Record views


Files downloads