Integrity constraint checking in stratified databases

DOI10.1016/0743-1066(87)90009-4zbMATH Open0643.68158OpenAlexW2075950442MaRDI QIDQ3786031FDOQ3786031

E. A. Sonenberg, Rodney W. Topor, John W. Lloyd

Publication date: 1987

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(87)90009-4

zbMATH Keywords

simplificationstatic integrity constraintsstratified deductive databases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05)

Cited In (12)

• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Legality concepts for three-valued logic programs
• Verification, validation, and integrity issues in expert and database systems: Two perspectives
• Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity
• Stratification and knowledge base management
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formulating global integrity constraints during derivation of global schema
• Nonrecursive incremental evaluation of Datalog queries
• Compiling bottom-up and mixed derivations into top-down executable logic programs
• Dyn-FO: A parallel, dynamic complexity class
• Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation

Recommendations

• Integrity constraints in logic databases 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Integrity constraint checking in stratified databases

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