|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000079138 |
| 005 |
20130404093000.0 |
| 008 |
120701s2011 enk eng |
| 020 |
|
|
|a 0521196132 (hardback : alk. paper)
|
| 020 |
|
|
|a 9780521196130 (hardback : alk. paper)
|
| 050 |
0 |
0 |
|a QA76.76.H94
|b H67 2011
|
| 090 |
0 |
0 |
|a QA76.76.H94
|b H67 2011
|
| 100 |
1 |
|
|a Hosoya, Haruo ,
|d 1972- ,
|e author
|
| 245 |
1 |
0 |
|a Foundations of XML processing :
|b the tree-automata approach
|c Haruo Hosoya
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press ,
|c 2011
|
| 300 |
|
|
|a xi, 226 p. :
|b ill. ;
|c 26 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. 218-222) and index
|
| 505 |
0 |
|
|a 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
|
| 520 |
|
|
|a "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 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 type checking. Many examples of code fragments illustrate XML features, and exercises are provided to enhance understanding. Thus the book should be very useful both for students and for XML researchers"-- Provided by publisher
|
| 650 |
|
0 |
|a Machine theory
|
| 650 |
|
0 |
|a XML (Document markup language)
|
| 999 |
|
|
|a 1000152654
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|