Efficient Inclusion Checking for Deterministic Tree Automata and DTDs.

Jérôme Champavère Rémi Gilleron Aurélien Lemay Joachim Niehren

Published in: LATA (2008)

Keyphrases

tree automata
regular expressions
regular tree languages
query language
machine learning
pattern matching
integrity constraints