Automatic generation of simplified weakest preconditions for integrity constraint verification

A. Ai T -Bouziad, Irene Guessarian, L. Vieille

Given a constraint $c$ assumed to hold on a database $B$ and an update $u$ to be performed on $B$, we address the following question: will $c$ still hold after $u$ is performed? Wh…