Visibly pushdown automata for streaming XML

16th International World Wide Web Conference, WWW2007

Volumn , Issue , 2007, Pages 1053-1062

  Kumar, Viraj ^a   Madhusudan, P ^a   Viswanathan, Mahesh ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Pushdown automata; Query; Schema; Streaming algorithms; Typing; XML

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; PROBLEM SOLVING; QUERY PROCESSING;

PUSHDOWN AUTOMATA; STREAMING ALGORITHMS;

XML;

EID: 35348906173     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1242572.1242714     Document Type: Conference Paper

References (26)

1. Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
2. A. V. Aho and J. D. Ullman. Translations on a context free grammar. Information and Control, 19(19):439-475, 1971.
3. R. Alur, V. Kumar, P. Madhusudan, and M. Viswanathan. Congruences for visibly pushdown languages. In ICALP, pages 1102-1114, 2005.
4. B. Alur and P. Madhusudan. Visibly pushdown languages. In STOC, pages 202-211. ACM Press, 2004.
5. R. Alur and P. Madhusudan. Adding nesting structure to words. In DLT, LNCS 4036, pages 1-13, 2006.
6. Mikolaj Bojanczyk and Thomas Colcombet. Tree-walking automata do not recognize all regular languages. In STOC, pages 234-243, New York, NY, USA, 2005. ACM Press.
7. Yi Chen, Susan B. Davidson, and Yifeng Zheng. An efficient XPath query processor for XML streams. In ICDE, page 79, 2006.
8. A. Desai. Introduction to sequential xpath. In Proc. of IDEAlliance XML Conference., 2001.
9. Todd J. Green, Gerome Miklau, Makoto Onizuka, and Dan Suciu. Processing XML streams with deterministic automata. In ICDT '03, pages 173-189, 2003. Springer-Verlag.
10. Martin Grohe and Nicole Schweikardt. Lower bounds for sorting with few random accesses to external memory. In PODS '05, pages 238-249, 2005. ACM Press.
11. Ashish Kumar Gupta and Dan Suciu. Stream processing of XPath queries with predicates. In SIGMOD, pages 419-430. ACM Press, 2003.
12. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
13. Christoph Koch and Stefanie Scherzinger. Attribute grammars for scalable query processing on XML streams. In DBPL, volume 2921 of LNCS, pages 233-256, 2003.
14. V. Kumar, P. Madhusudan, and M. Viswanathan. Minimization, learning, and conformance testing of boolean programs. In CONCUR, 2006. to appear.
15. V. Kumar, P. Madhusudan, and M. Viswanathan. Visibly pushdown languages for xml. Technical Report UIUCDCS-R-2006-2704, UIUC, 2006.
16. B. Ludäscher, P. Mukhopadhyay, and Y. Papakonstantinou. A transducer-based XML query processor. In VLDB, pages 227-238, 2002.
17. Wim Martens, Frank Neven, and Thomas Schwentick. Which XML schemas admit 1-pass preorder typing? In ICDT, pages 68-82, 2005.
18. M. Murata, D. Lee, and M. Mani. Taxonomy of XML Schema Languages using Formal Language Theory. In Extreme Markup Languages, Montreal, Canada, 2001.
19. Andreas Neumann and Helmut Seidl. Locating matches of tree patterns in forests. In FSTTCS, pages 134-145, 1998. Springer-Verlag.
20. Frank Neven. Automata, logic, and XML. In CSL, pages 2-26, London, UK, 2002. Springer-Verlag.
21. Frank Neven and Thomas Schwentick. On the power of tree-walking automata. Information Computing, 183(1):86-103, 2003.
22. Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In PODS, pages 35-46, New York, NY, USA, 2000. ACM Press.
23. Corin Pitcher. Visibly pushdown expression effects for XML stream processing. In Programming Language Technologies for XML, pages 1-14, 2005.
24. Luc Segoufin and Victor Vianu. Validating streaming XML documents. In PODS, pages 53-64, New York, NY, USA, 2002. ACM Press.
25. Victor Vianu. XML: From practice to theory. In SBBD, pages 11-25, 2003.
26. World Wide Web Consortium. Extended Markup Language (XML), http://www.w3.org.