Formalization of Multiway-Join Algorithms.
Thibault DardinierPublished in: Arch. Formal Proofs (2019)
Keyphrases
- join algorithms
- main memory
- cost model
- database query processing
- xml databases
- join processing
- xml queries
- b tree
- query processing
- efficient processing
- rank join
- join operations
- tree structures
- spatial join
- sort merge
- hash join
- search engine
- join operator
- relational database systems
- relational databases
- data structure
- data mining
- data sets