Chase Termination Beyond Polynomial Time.

Philipp Hanisch Markus Krötzsch

Published in: Proc. ACM Manag. Data (2024)

Keyphrases

special case
approximation algorithms
computational complexity
functional dependencies
data exchange
query answering
machine learning
term rewriting
normal form
np hardness
rewrite systems
finite sets
approximation ratio
data dependencies
worst case
relational databases
image sequences
case study