Search: Theory, Sigmod / VLDB, Papotti, P, 10 - 49