Improving Integrity Constraint Checking for Stratified Deductive Databases.

Sin Yeung Lee Tok Wang Ling

Published in: DEXA (1994)

Keyphrases

constraint checking
deductive databases
integrity constraints
logic programming
integrity checking
fixpoint
query evaluation
disjunctive deductive databases
semantic query optimization
distributed databases
database transactions
xml documents
query processing
closed world assumption
semantics of logic programs