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