Streaming Tree Automata
Abstract
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.
Domains
Databases [cs.DB]
Origin : Files produced by the author(s)
Loading...