有没有办法检查两个（非平凡的）选择是否等效？
最初，我希望两个选择在形式上等效，但是proving-sql-query- equivalency中的答案使 我停滞不前。
对于我的实际需要，我可以只检查两个选择的（实际）结果是否相同。
如果要比较查询结果，请尝试以下操作：
(select * from query1 MINUS select * from query2) UNION ALL (select * from query2 MINUS select * from query1)
这将导致所有行仅由查询之一返回。
