More on tractable disjunctive Datalog.

Rachel Ben-Eliyahu-Zohary Luigi Palopoli Victoria Zemlyanker

Published in: J. Log. Program. (2000)

Keyphrases

disjunctive datalog
expressive power
disjunctive logic programming
datalog programs
computational complexity
polynomial hierarchy
np complete
np hard
data complexity
high level
relational databases