Improving Integrity Constraint Checking in Deductive Databases.

Patrizia Asirelli Paola Inverardi A. Mustaro

Published in: ICDT (1988)

Keyphrases

constraint checking
deductive databases
integrity constraints
integrity checking
logic programming
semantic query optimization
query evaluation
fixpoint
disjunctive deductive databases
model theoretic
closed world assumption
distributed databases
active rules
data integration
database transactions