More efficient datalog queries: subsumptive tabling beats magic sets.

K. Tuncay Tekle, Yanhong A. Liu

Browse the full SIGMOD paper archive.