{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:56:11Z","timestamp":1725501371086},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540776833"},{"type":"electronic","value":"9783540776840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77684-0_16","type":"book-chapter","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T02:33:44Z","timestamp":1201574024000},"page":"219-238","source":"Crossref","is-referenced-by-count":9,"title":["Visibly Pushdown Transducers for Approximate Validation of Streaming XML"],"prefix":"10.1007","author":[{"given":"Alex","family":"Thomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying Ying","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1137\/0201022","volume":"1","author":"V.A. Aho","year":"1972","unstructured":"Aho, V.A., Peterson, G.T.: A Minimum Distance Error-Correcting Parser for Context-Free Languages. SIAM J. Comput.\u00a01(4), 305\u2013312 (1972)","journal-title":"SIAM J. Comput."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1007\/11523468_89","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"2005","unstructured":"Alur, R., Kumar, V., Madhusudan, P., Viswanathan, M.: Congruences for Visibly Pushdown Languages. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1102\u20131114. Springer, Heidelberg (2005)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Madhusudan, P.: Visibly Pushdown Languages. In: Proc. 36th ACM Symp. on Theory of Computing, Chicago, Illinois, June 13\u201315, 2004, pp. 202\u2013211 (2004)","DOI":"10.1145\/1007352.1007390"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1145\/1042046.1042050","volume":"29","author":"A. Balmin","year":"2004","unstructured":"Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental Validation of XML Documents. ACM Trans. Database Syst.\u00a029(4), 710\u2013754 (2004)","journal-title":"ACM Trans. Database Syst."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Barbosa, D., Leighton, G., Smith, A.: Efficient Incremental Validation of XML Documents After Composite Updates. In: Proc. of 2nd Int. XML Database Symp., Seoul Korea, September 10\u201311, 2006, pp. 107\u2013121 (2006)","DOI":"10.1007\/11841920_8"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Barbosa, D., Mendelzon, A.O., Libkin, L., Mignet, L., Arenas, M.: Efficient Incremental Validation of XML Documents. In: Proc. of 20th Int. Conf. on Data Engineering, Boston, USA, March 30\u2013April 2, 2004, pp. 671\u2013682 (2004)","DOI":"10.1109\/ICDE.2004.1320036"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Boobna, U., de Rougemont, M.: Correctors for XML Data. In: Proc. 2nd International XML Database Symposium, Toronto, Canada, August 29\u201330, 2004, pp. 97\u2013111 (2004)","DOI":"10.1007\/978-3-540-30081-6_8"},{"key":"16_CR8","unstructured":"Clark, J., Murata, M.: RELAX NG Specification. OASIS (December 2001)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Flesca, S., Furfaro, F., Greco, S., Zumpano, E.: Querying and Repairing Inconsistent XML Data. In: Proc. 6th International Conference on Web Information Systems Engineering, New York, USA, November 20\u201322, 2005, pp. 175\u2013188 (2005)","DOI":"10.1007\/11581062_14"},{"key":"16_CR10","unstructured":"Grahne, G., Thomo, A.: Approximate Reasoning in Semistructured Data. In: Proc. of the 8th International Workshop on Knowledge Representation meets Databases, Rome, Italy (September 15, 2001)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Grahne, G., Thomo, A.: Query Answering and Containment for Regular Path Queries under Distortions. In: Proc. of 3rd International Symposium on Foundations of Information and Knowledge Systems, Wilhelmminenburg Castle, Austria, February 17\u201320, 2004, pp. 98\u2013115 (2004)","DOI":"10.1007\/978-3-540-24627-5_8"},{"issue":"1\u20132","key":"16_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s10472-005-9016-8","volume":"46","author":"G. Grahne","year":"2006","unstructured":"Grahne, G., Thomo, A.: Regular Path Queries under Approximate Semantics. Ann. Math. Artif. Intell.\u00a046(1\u20132), 165\u2013190 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/1042046.1042051","volume":"29","author":"T.J. Green","year":"2004","unstructured":"Green, T.J., Gupta, A., Miklau, G., Onizuka, M., Suciu, A.: Processing XML Streams with Deterministic Automata and Stream Indexes. ACM Trans. Database Syst.\u00a029(4), 752\u2013788 (2004)","journal-title":"ACM Trans. Database Syst."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Kumar, V., Madhusudan, P., Viswanathan, M.: Visibly Pushdown Automata for Streaming XML. In: Proc. of Int. Conf. on World Wide Web, Alberta, Canada, May 8\u201312, 2007, pp. 1053\u20131062 (2007)","DOI":"10.1145\/1242572.1242714"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/601858.601869","volume":"31","author":"F. Neven","year":"2002","unstructured":"Neven, F.: Automata Theory for XML Researchers. SIGMOD Record\u00a031(3), 39\u201346 (2002)","journal-title":"SIGMOD Record"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1145\/1166074.1166076","volume":"31","author":"W. Martens","year":"2006","unstructured":"Martens, W., Neven, F., Schwentick, T., Bex, G.J.: Expressiveness and complexity of XML Schema. ACM Trans. Database Syst.\u00a031(3), 770\u2013813 (2006)","journal-title":"ACM Trans. Database Syst."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Papakonstantinou, Y., Vianu, V.: DTD Inference for Views of XML Data. In: Proc. 19th ACM Symp. on Principles of Database Systems, Dallas, Texas, May 15\u201317, 2000, pp. 35\u201346 (2000)","DOI":"10.1145\/335168.335173"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Segoufin, L., Vianu, V.: Validating Streaming XML Documents. In: Proc. 21st ACM Symp. on Principles of Database Systems, Madison, Wisconsin, June 3\u20135, 2002, pp. 53\u201364 (2002)","DOI":"10.1145\/543613.543622"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Sperberg-McQueen, C.M., Thomson, H.: XML Schema 1.0. (2005), http:\/\/www.w3.org\/XML\/Schema","DOI":"10.1145\/1103822.1103834"},{"key":"16_CR20","unstructured":"Staworko, S., Chomicki, J.: Validity-Sensitive Querying of XML Data-bases. In: Proc. of 2nd International Workshop on Database Technologies for Handling XML Information on the Web, EDBT Workshops, Munich, Germany, March 26\u201331, 2006, pp. 164\u2013177 (2006)"},{"key":"16_CR21","unstructured":"Segoufin, L., Sirangelo, C.: Constant-Memory Validation of Streaming XML Documents Against DTDs. In: Proc. 11th International Conference on Database Theory, Barcelona, Spain, January 10\u201312, 2007, pp. 299\u2013313 (2007)"},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/507338.507360","volume":"31","author":"D. Suciu","year":"2002","unstructured":"Suciu, D.: The XML Typechecking Problem. SIGMOD record\u00a031(1), 89\u201396 (2002)","journal-title":"SIGMOD record"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77684-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:32Z","timestamp":1619506112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77684-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540776833","9783540776840"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77684-0_16","relation":{},"subject":[]}}