Database repair via event-condition-action rules in dynamic logic

DOI10.1007/978-3-031-11321-5_5OpenAlexW4285235163MaRDI QIDQ2103906

Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_5

zbMATH Keywords

dynamic logicECA rulesdatabase repair

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Unnamed Item
• Unnamed Item
• Fixpoint semantics for active integrity constraints
• Minimal-change integrity maintenance using tuple deletions
• Active integrity constraints for general-purpose knowledge bases
• Active integrity constraints and revision programming
• An Event-Condition-Action Logic Programming Language
• Declarative semantics for active rules
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• Optimizing Computation of Repairs from Active Integrity Constraints
• Declarative Semantics of Production Rules for Integrity Maintenance