Search: Thomson, A, distributed database, cs.yale.edu