Integrity constraint checking in stratified databases
From MaRDI portal
(Redirected from Publication:3786031)
Recommendations
- Integrity checking and maintenance in relational and deductive databases and beyond
- scientific article; zbMATH DE number 1735904
- scientific article; zbMATH DE number 2001224
- scientific article; zbMATH DE number 4085067
- scientific article; zbMATH DE number 5508281
- Integrity constraints in logic databases
- On simplification of database integrity constraints
- scientific article; zbMATH DE number 5585924
Cited in
(12)- Stratification and knowledge base management
- Dyn-FO: A parallel, dynamic complexity class
- The anatomy of vampire. Implementing bottom-up procedures with code trees
- Nonrecursive incremental evaluation of Datalog queries
- Verification, validation, and integrity issues in expert and database systems: Two perspectives
- Formulating global integrity constraints during derivation of global schema
- Measure-based inconsistency-tolerant maintenance of database integrity
- scientific article; zbMATH DE number 5508281 (Why is no real title available?)
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
- scientific article; zbMATH DE number 1735904 (Why is no real title available?)
- Legality concepts for three-valued logic programs
- Compiling bottom-up and mixed derivations into top-down executable logic programs
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)
