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