Foundations of XML Processing: The Tree-Automata Approach

by Haruo Hosoya

Overview

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.

Product Details

ISBN-13:	9780521196130
Publisher:	Cambridge University Press
Publication date:	11/04/2010
Pages:	238
Product dimensions:	7.00(w) x 9.80(h) x 0.60(d)

About the Author

Haruo Hosoya is Assistant Professor in the Department of Computer Science at the University of Tokyo.

Table of Contents

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.

Editorial Reviews

"Hosoya provides clear descriptions and useful examples to help readers understand a very complex topic."
M. Mounts, Dartmouth College for Choice Magazine

From the Publisher