Andreas Herzig: Database repair and logic

Event-condition-action (ECA) rules equip a database with information about preferred ways to repair it when the integrity constraints are violated. 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 (AICs). I will first provide a critical overview of these semantics, drawing on concepts that were developed in the belief revision literature, and then generalise one of the AIC semantics, well-founded repairs, to ECA rules. I will finally discuss how these ideas can be adapted to Description Logics.