Declarative Semantics of Production Rules for Integrity Maintenance
From MaRDI portal
Publication:5449590
DOI10.1007/11799573_5zbMath1131.68371MaRDI QIDQ5449590
Sergio Greco, Cristina Sirangelo, Ester Zumpano, Luciano Caroprese
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
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
68N17: Logic programming
Related Items
Declarative 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