OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A dynamic view of active integrity constraints

Feuillade, Guillaume and Herzig, Andreas A dynamic view of active integrity constraints. (2014) In: 14th European Conference on Logics in Artificial Intelligence (JELIA), 24 September 2014 - 26 September 2014 (Madeira, Portugal).

(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-319-11558-0_34


Active integrity constraints have been introduced in the database community as a way to restore integrity. We view active integrity constraints as programs of Dynamic Logic of Propositional Assignments DL-PA and show how several semantics of database repair that were proposed in the literature can be characterised by DL-PA formulas. We moreover propose a new definition of repair. For all these definitions we provide DL-PA counterparts of decision problems such as the existence of a repair or the existence of a unique repair.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This paper appears in Lecture Notes in Computer Science, Vol. 8761, ISSN 0302-9743, ISBN 978-3319115573. The original PDF is available at: http://link.springer.com/chapter/10.1007%2F978-3-319-11558-0_34
HAL Id:hal-01159678
Audience (conference):International conference proceedings
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:27 May 2015 14:17

Repository Staff Only: item control page