Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.

Matilde Celma Carlos García Laura Mota-Herranz Hendrik Decker

Published in: ICDE (1994)

Keyphrases

deductive databases
integrity checking
integrity constraints
hard and soft constraints
logic programming
semantic query optimization
query evaluation
fixpoint
disjunctive deductive databases
search space
data integration
query optimization