Integrity constraint checking optimization based on abstract interpretation.

Véronique Benzaken Anne Doucet Xavier Schaefer

Published in: BDA (1994)

Keyphrases

constraint checking
integrity constraints
deductive databases
abstract interpretation
active rules
termination analysis
distributed databases
database transactions
federated databases
database systems
active databases
databases
xml documents
client server
temporal databases
static analysis