Foundations of XML processing: the tree-automata approach
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2011
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xi, 226 pages) |
| ISBN: | 9780511762093 |
| DOI: | 10.1017/CBO9780511762093 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043943455 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511762093 |c Online |9 978-0-511-76209-3 | ||
| 024 | 7 | |a 10.1017/CBO9780511762093 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511762093 | ||
| 035 | |a (OCoLC)844957278 | ||
| 035 | |a (DE-599)BVBBV043943455 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 006.7/4 |2 22 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Hosoya, Haruo |d 1972- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Foundations of XML processing |b the tree-automata approach |c Haruo Hosoya |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2011 | |
| 300 | |a 1 online resource (xi, 226 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Machine 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 | ||
| 650 | 4 | |a XML (Document markup language) | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Baumautomat |0 (DE-588)4376875-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a XML |0 (DE-588)4501553-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a XML |0 (DE-588)4501553-3 |D s |
| 689 | 0 | 1 | |a Baumautomat |0 (DE-588)4376875-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-19613-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511762093 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029352426 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511762093 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511762093 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176887363141632 |
|---|---|
| any_adam_object | |
| author | Hosoya, Haruo 1972- |
| author_facet | Hosoya, Haruo 1972- |
| author_role | aut |
| author_sort | Hosoya, Haruo 1972- |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV043943455 |
| classification_rvk | ST 250 |
| collection | ZDB-20-CBO |
| contents | Machine 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 |
| ctrlnum | (ZDB-20-CBO)CR9780511762093 (OCoLC)844957278 (DE-599)BVBBV043943455 |
| dewey-full | 006.7/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.7/4 |
| dewey-search | 006.7/4 |
| dewey-sort | 16.7 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9780511762093 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02992nmm a2200493zc 4500</leader><controlfield tag="001">BV043943455</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511762093</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-76209-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511762093</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511762093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844957278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943455</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.7/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hosoya, Haruo</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of XML processing</subfield><subfield code="b">the tree-automata approach</subfield><subfield code="c">Haruo Hosoya</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 226 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Machine 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</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">XML (Document markup language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">XML</subfield><subfield code="0">(DE-588)4501553-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">XML</subfield><subfield code="0">(DE-588)4501553-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-19613-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511762093</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352426</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511762093</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511762093</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043943455 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:19Z |
| institution | BVB |
| isbn | 9780511762093 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029352426 |
| oclc_num | 844957278 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xi, 226 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Hosoya, Haruo 1972- Verfasser aut Foundations of XML processing the tree-automata approach Haruo Hosoya Cambridge Cambridge University Press 2011 1 online resource (xi, 226 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) Machine 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 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 XML (Document markup language) Machine theory Baumautomat (DE-588)4376875-1 gnd rswk-swf XML (DE-588)4501553-3 gnd rswk-swf XML (DE-588)4501553-3 s Baumautomat (DE-588)4376875-1 s 1\p DE-604 Erscheint auch als Druckausgabe 978-0-521-19613-0 https://doi.org/10.1017/CBO9780511762093 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hosoya, Haruo 1972- Foundations of XML processing the tree-automata approach Machine 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 XML (Document markup language) Machine theory Baumautomat (DE-588)4376875-1 gnd XML (DE-588)4501553-3 gnd |
| subject_GND | (DE-588)4376875-1 (DE-588)4501553-3 |
| title | Foundations of XML processing the tree-automata approach |
| title_auth | Foundations of XML processing the tree-automata approach |
| title_exact_search | Foundations of XML processing the tree-automata approach |
| title_full | Foundations of XML processing the tree-automata approach Haruo Hosoya |
| title_fullStr | Foundations of XML processing the tree-automata approach Haruo Hosoya |
| title_full_unstemmed | Foundations of XML processing the tree-automata approach Haruo Hosoya |
| title_short | Foundations of XML processing |
| title_sort | foundations of xml processing the tree automata approach |
| title_sub | the tree-automata approach |
| topic | XML (Document markup language) Machine theory Baumautomat (DE-588)4376875-1 gnd XML (DE-588)4501553-3 gnd |
| topic_facet | XML (Document markup language) Machine theory Baumautomat XML |
| url | https://doi.org/10.1017/CBO9780511762093 |
| work_keys_str_mv | AT hosoyaharuo foundationsofxmlprocessingthetreeautomataapproach |