Current object database management systems support user-defined conversion functions to update the database once the schema has been modified. Two main strategies are possible whe...
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 condi...