OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Dynamic Logic Account of Active Integrity Constraints

Feuillade, Guillaume and Herzig, Andreas and Rantsoudis, Christos A Dynamic Logic Account of Active Integrity Constraints. (2019) Fundamenta Informaticae, 169 (3). 179-210. ISSN 0169-2968

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://content.iospress.com/articles/fundamenta-informaticae/fi1843


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.

Item Type:Article
Additional Information:Thanks to IOS Press. The original PDF of the article can be found at Fundamenta Informaticae website : https://content.iospress.com/articles/fundamenta-informaticae/fi1843
HAL Id:hal-02891607
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:01 Sep 2020 07:30

Repository Staff Only: item control page