有没有办法检查两个（非平凡的）选择是否等价？
最初我希望两个选择之间有形式上的等价性，但答案在 proving-sql-query-equivalency阻止我。
对于我的实际需要，我可以检查两个选择的（实际）结果是否相同。
【问题讨论】：
如果您想比较查询结果，请尝试以下操作：
(select * from query1 MINUS select * from query2)
UNION ALL
(select * from query2 MINUS select * from query1)
这将导致仅由其中一个查询返回的所有行。
【讨论】：
在标准 SQL 中，您可以编写以下代码
(select * from query1 EXCEPT select * from query2)
UNION ALL
(select * from query2 EXCEPT select * from query1)
我想指出，MINUS 不是标准 SQL，所以我们需要改用 EXCEPT
【讨论】：
对于
(select * from query1 EXCEPT select * from query2)
UNION ALL
(select * from query2 EXCEPT select * from query1)
我在postgres 9.4 上做了一些试验，这是我的结果。
[1] 不支持减号，所以需要使用@Bogdan 所说的EXCEPT
[2] 仅使用 EXCEPT 不考虑重复，因此必须使用 EXCEPT ALL
[3] EXCEPT ALL 要求结果中的列顺序应该相同
以上查询 QUERY1 和 QUERY2 应该返回相同的列顺序，或者我们必须包装查询并确保列顺序相同。（可能发生在应用程序逻辑中）
所以我认为，如果我们牢记 3 点以上，我们可能 100% 确定给定数据集上的两个查询返回的数据完全相同。
如果我遇到更多可能失败的边缘情况，将更新。
【讨论】：
同时运行它们并比较结果。使用 EXCEPT 操作从第二个查询返回的集合中减去第一个查询返回的集合。如果结果是一个空集，那么它们是等价的。
这种方法的问题在于它不能证明两个查询对于任何数据库都是等价的。这取决于您的数据库的内容。例如，如果您的数据库为空，则根据此方法，任何两个 select 语句都是等效的。
仅通过分析查询来证明等效性是一个未解决的问题 AFAIK（但我不完全是数据库理论专家，所以不要相信我；）） 另外，你可以看看这个问题：Proving SQL query equivalency
【讨论】：
EXCEPT 不可交换）。