Abstract rewriting Approach to solve Datalog programs.

Fernando Tarin Morales Fuyuki Ishikawa Shinichi Honiden

Published in: DBPL (2015)

Keyphrases

datalog programs
magic sets
query answering
conjunctive queries
deductive databases
recursive queries
fixpoint
data complexity
inconsistent databases
logic programs
fixpoint semantics
database
integrity constraints
expressive power
np complete
logic programming
data sets