On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.

Yoshihiko Ohta Katsumi Inoue Ryuzo Hasegawa

Published in: CADE (1998)

Keyphrases

magic sets
datalog programs
logic programs
recursive queries
update propagation
np hard
horn clauses
fixpoint
database
optimal solution
data model
query language
distributed environment
query answering