Доказательство эквивалентности SQL-запросов

1) Доказательство реальной эквивалентности с Козеттой:
Cosette проверяет (с доказательством), эквивалентны sql-statement ли 2 SQL-запроса, и встречает sql примеры, если они не эквивалентны. Это sqlselect единственный способ быть sql абсолютно уверенным, ну почти;) Вы sql-statement даже можете добавить 2 запроса sqlselect на их веб-сайт и сразу проверить sqlselect (формальную) эквивалентность.

Ссылка sql-statement на Козетту: https://cosette.cs.washington.edu/

Ссылка на статью, в sql-statement которой подробно объясняется, как sqlselect работает Cosette: https://medium.com/@uwdb/introducing-cosette-527898504bd6


2) Или, если вы просто ищете быстрое практическое решение:
Попробуйте sql-query этот ответ stackoverflow: [sql - check if two select's are equal]
Что sql-syntax сводится к:

(select * from query1 MINUS select * from query2) 
UNION ALL
(select * from query2 MINUS select * from query1)

Этот запрос дает oracle вам все строки, возвращенные sql только одним из запросов.