Declarative Semantics of Production Rules for Integrity Maintenance

DOI10.1007/11799573_5zbMath1131.68371OpenAlexW1507303414MaRDI QIDQ5449590

Sergio Greco, Luciano Caroprese, Ester Zumpano, Cristina Sirangelo

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

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

Related Items (7)

Unnamed Item ⋮ Fixpoint semantics for active integrity constraints ⋮ A three-valued semantics for querying and repairing inconsistent databases ⋮ Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Declarative Semantics for Active Integrity Constraints ⋮ Database repair via event-condition-action rules in dynamic logic

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