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.
Rezensionen / Stimmen
'[This] book is obviously interesting to theoretical computer scientists, and to developers who may implement their own XML parsers and retrieval mechanisms (it provides hints for the underlying implementations). Instructors at a university may also use the book in an advanced course on XML.' K. Waldhoer, reviews.com
Sprache
Verlagsort
Zielgruppe
Produkt-Hinweis
Fadenheftung
Gewebe-Einband
Illustrationen
Worked examples or Exercises; 3 Halftones, black and white; 7 Line drawings, black and white
Maße
Höhe: 249 mm
Breite: 170 mm
Dicke: 15 mm
Gewicht
ISBN-13
978-0-521-19613-0 (9780521196130)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Haruo Hosoya is Assistant Professor in the Department of Computer Science at the University of Tokyo.
Autor*in
University of Tokyo
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.
