Before revision:  This matches  the best-known guarantee for equi-joins up to a polylogarithmic factor .
After revision:  This matches n + k) space. This is within a polylogarithmic factor of the best-known guarantee for equi-joins up to a polylogarithmic factor .