On Semantic Query Optimization in Deductive Databases.

Laks V. S. Lakshmanan Rokia Missaoui

Published in: ICDE (1992)

Keyphrases

semantic query optimization
deductive databases
integrity constraints
logic programming
query evaluation
integrity checking
fixpoint
datalog programs
database
artificial intelligence
data model
knowledge representation
functional dependencies