Declarative Semantics for Active Integrity Constraints

DOI10.1007/978-3-540-89982-2_28MaRDI QIDQ5504661zbMATH OpenOpenAlexFDO

Authors Luciano Caroprese, Mirosław Truszczyński

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)

Recommendations

• Active integrity constraints and revision programming
• A dynamic view of active integrity constraints
• Grounded fixpoints and active integrity constraints
• Fixpoint semantics for active integrity constraints
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• Autoepistemic logic
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Declarative Semantics of Production Rules for Integrity Maintenance
• On the computational cost of disjunctive logic programming: Propositional case
• Revision programming

Cited in

(12)

• A dynamic view of active integrity constraints
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• A dynamic logic account of active integrity constraints
• Semantics and Pragmatics of Integrity Constraints
• Fixpoint semantics for active integrity constraints
• Active integrity constraints for general-purpose knowledge bases
• Active integrity constraints and revision programming
• Declarative Semantics of Production Rules for Integrity Maintenance
• Declarative semantics for active rules
• scientific article; zbMATH DE number 1755591 (Why is no real title available?)
• Grounded fixpoints and active integrity constraints
• Policy-based inconsistency management in relational databases

This page was built for publication: Declarative Semantics for Active Integrity Constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504661)