Integrity constraint checking in stratified databases

DOI10.1016/0743-1066(87)90009-4zbMath0643.68158OpenAlexW2075950442MaRDI QIDQ3786031

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

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

Related Items (9)

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ The anatomy of vampire. Implementing bottom-up procedures with code trees ⋮ Dyn-FO: A parallel, dynamic complexity class ⋮ Stratification and knowledge base management ⋮ Nonrecursive incremental evaluation of Datalog queries ⋮ Verification, validation, and integrity issues in expert and database systems: Two perspectives ⋮ Legality concepts for three-valued logic programs ⋮ Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation ⋮ Compiling bottom-up and mixed derivations into top-down executable logic programs

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