Declarative Semantics of Production Rules for Integrity Maintenance

DOI10.1007/11799573_5MaRDI QIDQ5449590zbMATH OpenOpenAlexFDO

Authors Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_5

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

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

Cited in

(9)

• Fixpoint semantics for active integrity constraints
• Active integrity constraints for general-purpose knowledge bases
• Database repair via event-condition-action rules in dynamic logic
• A three-valued semantics for querying and repairing inconsistent databases
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• scientific article; zbMATH DE number 4064544 (Why is no real title available?)
• Declarative semantics for active rules
• Grounded fixpoints and active integrity constraints
• Declarative Semantics for Active Integrity Constraints

This page was built for publication: Declarative Semantics of Production Rules for Integrity Maintenance

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