Proving Semantic Equivalence to the Validated SQL