Using Weakest Preconditions to Simplify Integrity Constraint Checking.

Michael Lawley Rodney W. Topor Mark Wallace

Published in: Australian Database Conference (1993)

Keyphrases

constraint checking
integrity constraints
deductive databases
distributed databases
federated databases
database transactions
query evaluation