Using Weakest Preconditions to Simplify Integrity Constraint Checking.
Michael Lawley, Rodney W. Topor, Mark G. Wallace · 1993
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condition to be evaluated before the update is performed. This provides an efficient means to ensure that database updates maintain integrity constraints.