A Guide to Formal Analysis of Join Processing in Massively Parallel Systems.

Paraschos Koutris Dan Suciu

Published in: SIGMOD Rec. (2016)

Keyphrases

massively parallel
formal analysis
join processing
formal methods
parallel computing
query processing
distributed systems
computer systems
agent model
artificial intelligence
data management
fine grained
join algorithms