Uniform Restricted Chase Termination.

Tomasz Gogacz Jerzy Marcinkowski Andreas Pieris

Published in: SIAM J. Comput. (2023)

Keyphrases

functional dependencies
database
query answering
information retrieval
learning algorithm
computational complexity
query language
integrity constraints
active rules
rewrite systems