Magic Checking: Constraint Checking for Database Query Optimization.

Mark Wallace Stéphane Bressan Thierry Le Provost

Published in: CDB (1995)

Keyphrases

constraint checking
integrity constraints
deductive databases
distributed databases
federated databases
xml documents
fine grained
database transactions
query evaluation
database
logic programming
distributed database systems