A dynamic view of active integrity constraints - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

A dynamic view of active integrity constraints

Résumé

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

Dates et versions

hal-01159678 , version 1 (03-06-2015)

Identifiants

  • HAL Id : hal-01159678 , version 1

Citer

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⟩
173 Consultations
134 Téléchargements

Partager

More