Towards more precise rewriting approximations.

Yohan Boichut Jacques Chabin Pierre Réty

Published in: J. Comput. Syst. Sci. (2019)

Keyphrases

rewrite rules
closed form
conjunctive queries
query rewriting
rewriting rules
termination analysis
case study
search algorithm
lower bound
approximation methods
computationally tractable
regular path queries
queries using views