Search: Theory, Sigmod / VLDB, Papotti, P, 2009