Compiling Integrity Checking into Update Procedures.

Published in: IJCAI (1991)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
constraint logic programming
semantic query optimization
query answering