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

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.