Before revision:  This matches  the best-known guarantee for equi-joins up to a polylogarithmic factor .
After revision:  This matches the best-known guarantee for equi-joins and even \mathcal{O .