Foundations of XML processing : the tree-automata approach
"This is the first book to provide 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 type checking for XML as a highlight of the book. In Part II...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press ,
2011
|
| Subjects: |
Table of Contents:
- 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