Conceptual schemas applied to deductive databases.

Philip W. Dart Justin Zobel

Published in: Inf. Syst. (1988)

Keyphrases

deductive databases
logic programming
integrity constraints
query evaluation
fixpoint
semantic query optimization
artificial intelligence
integrity checking
closed world assumption
conceptual schemas
database
natural language
query processing
xml schema
model theoretic