A Dynamic Logic Account of Active Integrity Constraints - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2019

A Dynamic Logic Account of Active Integrity Constraints

Résumé

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.
Fichier principal
Vignette du fichier
Feuillade_26165.pdf (347.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02891607 , version 1 (20-07-2020)

Identifiants

Citer

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis. A Dynamic Logic Account of Active Integrity Constraints. Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩. ⟨hal-02891607⟩
48 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More