Query optimization of distributed pattern matching
A bridging model for parallel computation