Pages that link to "Item:Q3988800"
From MaRDI portal
The following pages link to Efficient bottom-up computation of queries on stratified databases (Q3988800):
Displayed 11 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- The generalized supplementary magic-sets transformation for stratified Datalog (Q685491) (← links)
- Graph traversal and top-down evaluation of logic queries (Q1130171) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- OLDTNF-based evaluation method for handling recursive queries in deductive databases (Q1286645) (← links)
- Bottom-up evaluation of datalog with negation (Q1333369) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- Magic sets revisited (Q1368187) (← links)
- Counting and topological order (Q1375328) (← links)
- (Q5020560) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)