Determinacy and rewriting of functional top-down and MSO tree transformations.

Michael Benedikt Joost Engelfriet Sebastian Maneth

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

Keyphrases

conjunctive queries
rewrite rules
query rewriting
tree automata
tree structure
tree structures
np complete
database
high level
r tree
b tree
finite state
data complexity
classification trees