Search: Implementation, Sigmod / VLDB, Papotti, P, 2008, 10 - 49