Detecting Incorrect Behavior of Cloud Databases as an Outsider

Cheng Tan, Changgeng Zhao, Shuai Mu +1

Cloud DBs offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud DBs are complicated black boxes, running i…