Database Sync is Hard