Database Repair via Event-Condition-Action Rules in Dynamic Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Database Repair via Event-Condition-Action Rules in Dynamic Logic

Résumé

Event-condition-action (ECA) rules equip a database with information about preferred ways to restore integrity. They face problems of non-terminating executions and only procedural semantics had been given to them up to now. Declarative semantics however exist for a particular class of ECA rules lacking the event argument, called active integrity constraints. We generalise one of these semantics to ECA rules and couch it in a simple dynamic logic with deterministic past.
Fichier principal
Vignette du fichier
aicH.pdf (440.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03818471 , version 1 (17-10-2022)

Identifiants

Citer

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis. Database Repair via Event-Condition-Action Rules in Dynamic Logic. 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩. ⟨hal-03818471⟩
49 Consultations
69 Téléchargements

Altmetric

Partager

More