An Approach to Proving the Correctness of Data Base Operations.

Igor T. Hawryszkiewycz, Jack B. Dennis

Browse the full SIGMOD paper archive.