Streaming tree automata

Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the two main approaches, which have not been linked so far: automata for nested words or equivalently visibly pushdown automata, and respectively pushdown forest automata. Key words: tree automata, XML databases, query languages, streaming

• Type: Journal
• Year: 2008
• Where: IPL
• Authors: Olivier Gauwin, Joachim Niehren, Yves Roos
• Keywords: Forest Automata, IPL 2008, Pushdown Automata, Tree Automata