Termination of oblivious chase is undecidable.

Tomasz Gogacz Jerzy Marcinkowski

Published in: CoRR (2014)

Keyphrases

query answering
sufficient conditions
data dependencies
functional dependencies
term rewriting
np complete
datalog programs
conjunctive queries
query containment
database
normal form
rewrite systems
data exchange
multi agent
case study
data mining
integrity constraints
machine learning