Guaranteeing correctness of bulk operations in outsourced databases