An automated prover that verifies the equivalence of SQL queries - View it on GitHub