Pages that link to "Item:Q1262144"
From MaRDI portal
The following pages link to Recursive query processing: The power of logic (Q1262144):
Displaying 14 items.
- Recursive queries and context-free graph grammars (Q753477) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- Regular path queries with constraints (Q1307690) (← links)
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete (Q1311394) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- Towards an efficient evaluation of recursive aggregates in deductive databases (Q1326572) (← links)
- Parallelism in logic programs (Q1360680) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Functional queries in datalog (Q1862647) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases (Q2808079) (← links)
- An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases (Q3192964) (← links)
