More efficient datalog queries: subsumptive tabling beats magic sets.

K. Tuncay Tekle Yanhong A. Liu

Published in: SIGMOD Conference (2011)

Keyphrases

datalog queries
datalog programs
recursive queries
magic sets
logic programming
database
databases
computational complexity
special case
expressive power
query answering