Foundations of XML Processing: The Tree-Automata Approach
Cambridge University Press
Edition: Illustrated, 11/4/2010
EAN 9780521196130, ISBN10: 0521196132
Hardcover, 238 pages, 25.4 x 18 x 1.5 cm
Language: English
Originally published in English
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.
Preface
1. Introduction
2. Preliminaries
3. Schemas
4. Tree automata
5. Pattern matching
6. Marking tree automata
7. Typechecking
8. On-the-fly algorithms
9. Alternating tree automata
10. Tree transducers
11. Exact typechecking
12. Path expressions and tree-walking automata
13. Logic-based queries
14. Ambiguity
15. Unorderedness
References
Index.