| 000 | 02712nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000056406 | ||
| 003 | KUKTEM | ||
| 005 | 20251125093011.0 | ||
| 008 | 111130t2011 enk f 001 0 eng d | ||
| 020 | _a9780521196130 | ||
| 039 | 9 |
_a201205141214 _basmadi _y201111301255 _zirma |
|
| 040 | _aUMP | ||
| 090 | _aQA76.76.H94 H67 2011 | ||
| 100 | 1 | _aHosoya, Haruo | |
| 245 | 1 | 0 |
_aFoundations of XML processing : _bthe tree-automata approach / _cHaruo Hosoya |
| 260 |
_aCambridge : _bCambridge University Press, _c2011 |
||
| 300 |
_axi, 226 p. : _bill. ; _c26 cm. |
||
| 504 | _aIncludes bibliographical references (p. 218-222) and index | ||
| 505 | 0 | _aMachine generated contents note: 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 | |
| 520 |
_a"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"-- _cProvided by publisher |
||
| 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"-- _cProvided by publisher |
||
| 650 | 0 | _aXML (Document markup language) | |
| 650 | 0 | _aMachine theory | |
| 999 |
_aVIRTUA40 _c60385 _d60391 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*5040*5050*5200*5201*6500*6501*9991 | ||