A dynamic view of active integrity constraints

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.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01159678
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, June 3, 2015 - 3:28:06 PM
Last modification on : Friday, June 14, 2019 - 6:31:07 PM
Long-term archiving on : Tuesday, September 15, 2015 - 10:21:57 AM

File

feuillade_13171.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01159678, version 1
  • OATAO : 13171

Collections

Citation

Guillaume Feuillade, Andreas Herzig. A dynamic view of active integrity constraints. 14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499. ⟨hal-01159678⟩

Share

Metrics

Record views

173

Files downloads

100