Handling Negation in General Deductive Databases: A Program Transformation Method.

Weiling Li Komal Khabya Ming Fang Rajshekhar Sunderraman

Published in: COMAD (2010)

Keyphrases

deductive databases
disjunctive deductive databases
integrity constraints
fixpoint
knowledge base
data model
special case
software engineering
horn clauses
integrity checking
multiple inheritance
closed world assumption