Search: Theory, Sigmod / VLDB, Papotti, P