Login / Signup
Join Algorithms for the Theory of Uninterpreted Functions.
Sumit Gulwani
Ashish Tiwari
George C. Necula
Published in:
FSTTCS (2004)
Keyphrases
</>
join algorithms
cost model
xml queries
join operations
database query processing
main memory
join processing
sort merge
rank join
query processing
b tree
database
spatial join
materialized views