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 278kB |
Official URL: http://dx.doi.org/10.1007/978-3-319-11558-0_34
Abstract
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: | |
| Statistics: | download |
| Deposited On: | 27 May 2015 14:17 |
Repository Staff Only: item control page
