Proving SQL query equivalency

Question

How would you go about proving that two queries are functionally equivalent, eg they will always both return the same result set.

---

As I had a specific query in

Answer 1

This sounds to me like a an NP complete problem. I'm not sure there is a sure fire way to prove this kind of thing