Chase Termination Beyond Polynomial Time.

Philipp Hanisch Markus Krötzsch

Published in: CoRR (2024)

Keyphrases

query answering
special case
computational complexity
functional dependencies
normal form
approximation algorithms
data dependencies
database
data mining
machine learning
term rewriting
data exchange
dnf formulas
rewrite systems
finite sets
worst case
website
neural network