Udowodnienie równoważności zapytań SQL

Najlepsze, co możesz zrobić, to porównać 2 wyniki zapytania na podstawie danego zestawu danych wejściowych, szukając jakichkolwiek różnic. Stwierdzenie, że zawsze zwrócą te same wyniki dla wszystkich danych wejściowych, naprawdę zależy od danych.

W przypadku Oracle jedno z lepszych, jeśli nie najlepsze podejść (bardzo wydajne) jest tutaj (Ctrl +F Porównanie zawartości dwóch tabel):
http://www.oracle.com/technetwork/issue-archive/2005/05-jan/o15asktom-084959.html

Co sprowadza się do:

select c1,c2,c3, 
       count(src1) CNT1, 
       count(src2) CNT2
  from (select a.*, 
               1 src1, 
               to_number(null) src2 
          from a
        union all
        select b.*, 
               to_number(null) src1, 
               2 src2 
          from b
       )
group by c1,c2,c3
having count(src1) <> count(src2);