Foundations of XML Processing: The Tree-Automata ApproachCambridge University Press, 4 nov. 2010 This is the first book that provides a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata and pattern matching, and concluding with static typechecking for XML as a highlight of the book. In Part II, the author turns his attention to more advanced topics, including efficient 'on-the-fly' tree automata algorithms, path- and logic-based queries, tree transformation, and exact typechecking. The author provides many examples of code fragments to illustrate features, and exercises to enhance understanding. Thus the book will be ideal for students and researchers whether just beginning, or experienced in XML research. |
Table des matières
| 1 | |
2 Preliminaries | 9 |
I Basic topics | 17 |
II Advanced topics | 91 |
Appendix Solutions to selected exercises | 199 |
References | 218 |
| 223 | |
Autres éditions - Tout afficher
Expressions et termes fréquents
accepts any tree alternating tree automaton ambiguity binary tree bottom-up algorithm bottom-up deterministic tree bottom-up run Chapter compute concatenation constraints construction contains defined definition deterministic tree automaton document e-transitions element emptiness test end function exact typechecking example Exercise final Formally formula gender gender[male Hosoya induction initial input tree leaf Lemma linear macro tree transducer marking tree automaton multiset multiset of bindings node nodes(t nondeterministic tree automaton Note output pair path expressions pattern match person priority id procedure programming languages Proof q₁ Qasm qi+1 r₁ recursive regular expression regular tree languages relation RELAX NG result return false return true schema languages second-order logic semantics SGML simple tours spouse string automaton subtree t₁ Theorem top-down tree transducer transformation transition rule tree-walking automata type inference type name unambiguous unranked trees XDuce XHTML XML Schema XPath π₁