Using Weakest Preconditions to Simplify Integrity Constraint Checking

Michael Lawley, Rodney W. Topor, Mark Wallace. Using Weakest Preconditions to Simplify Integrity Constraint Checking. In Australian Database Conference. pages 161-170, 1993.

Abstract

Abstract is missing.