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