Search: Abadi, D, 2010, Cloud Database, synchronization, yale.edu