Pushing Data-Induced Predicates Through Joins in Big-Data Clusters: Extended Version

This is an extended version with more details, proofs and additional experiments of the following paper.