Search: Implementation, Sigmod / VLDB, Miller, R, 2000