Search: Abadi, D, distributed database, yale.edu, n/a