Incremental Integrity Checking: Limitations and Possibilities

DOI10.1007/11591191_49MaRDI QIDQ5387876zbMATH OpenOpenAlexFDO

Authors Henning Christiansen, Davide Martinenghi

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_49

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• On simplification of database integrity constraints
• scientific article; zbMATH DE number 559226
• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 4085067
• Integrity checking and maintenance in relational and deductive databases and beyond

Cited in

(12)

• Integrity checking and maintenance in relational and deductive databases and beyond
• Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
• scientific article; zbMATH DE number 4064545 (Why is no real title available?)
• scientific article; zbMATH DE number 4085067 (Why is no real title available?)
• scientific article; zbMATH DE number 67827 (Why is no real title available?)
• Creating specialised integrity checks through partial evaluation of meta-interpreters
• scientific article; zbMATH DE number 1304706 (Why is no real title available?)
• scientific article; zbMATH DE number 559226 (Why is no real title available?)
• Three types of redundancy in integrity checking: An optimal solution
• scientific article; zbMATH DE number 928019 (Why is no real title available?)
• On simplification of database integrity constraints
• Logic Based Program Synthesis and Transformation

This page was built for publication: Incremental Integrity Checking: Limitations and Possibilities

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