Using Weakest Preconditions to Simplify Integrity Constraint Checking

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. Keywords Database, update, integrity constraint, weakest precondition

• Type: Conference
• Year: 1993
• Where: ADC
• Authors: Michael Lawley, Rodney W. Topor, Mark Wallace
• Keywords: ADC 1993, Database, Database Updates, Integrity Constraint, Weakest Precondition