Pages that link to "Item:Q1161312"

The following pages link to Logic for improving integrity checking in relational data bases (Q1161312):

Displaying 17 items.

• Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
• Legality concepts for three-valued logic programs (Q689286) (← links)
• Transformation of dynamic integrity constraints into transaction specifications (Q915441) (← links)
• Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
• Inferences for numerical dependencies (Q1079963) (← links)
• Domain-independent formulas and databases (Q1092679) (← links)
• Correctness of semantic integrity checking in database management systems (Q1097049) (← links)
• Verifiable properties of database transactions (Q1281498) (← links)
• Dyn-FO: A parallel, dynamic complexity class (Q1376403) (← links)
• A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
• Consistency management in object-oriented databases (Q2744786) (← links)
• Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
• Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation (Q3612894) (← links)
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
• Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
• Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
• Databases and artificial intelligence (Q6602264) (← links)