Equivalence of DATALOG Queries is Undecidable.

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

Keyphrases

datalog queries
datalog programs
query containment
recursive queries
query answering
conjunctive queries
transitive closure
deductive databases
fixpoint
data complexity
query optimization
integrity constraints
logic programming
regular path queries
databases
unions of conjunctive queries
knowledge representation