Search: Abadi, D, distributed database, cs.yale.edu