Is there a way to check if two (non-trivial) select are equivalent?
Initially I was hoping for a formally equivalence between two selects, but the answers in proving-sql-query-equivalency stop me.
For my actual need I can just check if the (actual) results of two selects are the same.
See Question&Answers more detail:os