Linearisability on datalog programs.

Foto N. Afrati Manolis Gergatsoulis Francesca Toni

Published in: Theor. Comput. Sci. (2003)

Keyphrases

datalog programs
query answering
magic sets
conjunctive queries
datalog queries
fixpoint
deductive databases
data complexity
recursive queries
inconsistent databases
data exchange
databases
incomplete information
machine learning
query evaluation
nonmonotonic reasoning