Declarative Semantics for Active Integrity Constraints

DOI10.1007/978-3-540-89982-2_28zbMath1185.68292OpenAlexW1510317634MaRDI QIDQ5504661

Miroslaw Truszczynski, Luciano Caroprese

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_28

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

Related Items

Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Policy-based inconsistency management in relational databases

Cites Work

• Revision programming
• On the computational cost of disjunctive logic programming: Propositional case
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Autoepistemic logic
• Declarative Semantics of Production Rules for Integrity Maintenance
• Unnamed Item
• Unnamed Item