Pages that link to "Item:Q3786031"
From MaRDI portal
The following pages link to Integrity constraint checking in stratified databases (Q3786031):
Displaying 12 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Compiling bottom-up and mixed derivations into top-down executable logic programs (Q809591) (← links)
- Stratification and knowledge base management (Q1122994) (← links)
- Dyn-FO: A parallel, dynamic complexity class (Q1376403) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- Nonrecursive incremental evaluation of Datalog queries (Q1924723) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- Formulating global integrity constraints during derivation of global schema (Q3122517) (← links)
- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
- (Q3603228) (← links)
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation (Q3612894) (← links)
- (Q4329266) (← links)