Pages that link to "Item:Q686647"
From MaRDI portal
The following pages link to Logical query optimization by proof-tree transformation (Q686647):
Displaying 6 items.
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Generalization of ZYT-linearizability for bilinear datalog programs (Q1887164) (← links)
- On the efficiency of transforming database logic programs (Q1900919) (← links)
- The pushdown method to optimize chain logic programs (Q4645206) (← links)
- GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES (Q5249009) (← links)