Efficiently Computable Datalog∃ Programs.

Nicola Leone Marco Manna Giorgio Terracina Pierfrancesco Veltri

Published in: KR (2012)

Keyphrases

datalog programs
efficiently computable
sufficient conditions
upper bound
computationally hard
query answering
conjunctive queries
fixpoint
deductive databases
magic sets
recursive queries
data complexity
np complete
perceptron algorithm
lower bound
partial order
special case
data model
optimal solution