Chứng minh tính tương đương của truy vấn SQL

Điều tốt nhất bạn có thể làm là so sánh 2 đầu ra truy vấn dựa trên một tập hợp đầu vào nhất định để tìm kiếm bất kỳ sự khác biệt nào. Để nói rằng chúng sẽ luôn trả về cùng một kết quả cho tất cả các đầu vào thực sự phụ thuộc vào dữ liệu.

Đối với Oracle, một trong những cách tiếp cận tốt nhất nếu không phải là tốt nhất (rất hiệu quả) là ở đây ( Ctrl + F So sánh nội dung của hai bảng):
http://www.oracle.com/technetwork/issue-archive/2005/05-jan/o15asktom-084959.html

Tổng hợp thành:

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);