query-equivalence
Sound-by-construction semantic diff for SQL: know whether a query edit changes the answer.