Login / Signup
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