Early Nested Word Automata for XPath Query Answering on XML Streams

1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: 36th ACM Symposium on Theory of Computing, pp. 202–211. ACM Press (2004)

   Google Scholar 

2. Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM 56(3), 1–43 (2009)

   Article  MathSciNet  Google Scholar 

3. Barbieri, D., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semantic Computing 4(1), 3–25 (2010)

   Article  MATH  Google Scholar 

4. Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. Journal of the ACM 55(2), 1–79 (2008)

   Article  MathSciNet  Google Scholar 

5. Benedikt, M., Jeffrey, A.: Efficient and expressive tree filters. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 461–472. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

6. Benedikt, M., Jeffrey, A., Ley-Wild, R.: Stream Firewalling of XML Constraints. In: ACM SIGMOD, pp. 487–498 (2008)

   Google Scholar 

7. Fernandez, M., Michiels, P., Siméon, J., Stark, M.: XQuery streaming à la carte. In: ICDE, pp. 256–265 (2007)

   Google Scholar 

8. Franceschet, M.: XPathMark: An XPath benchmark for the XMark generated data. In: 3rd International XML Database Symposium (2005)

   Google Scholar 

9. Gauwin, O., Niehren, J.: Streamable fragments of forward XPath. In: Bouchou-Markhoff, B., Caron, P., Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2011. LNCS, vol. 6807, pp. 3–15. Springer, Heidelberg (2011)

   Chapter  Google Scholar 

10. Gauwin, O., Niehren, J., Tison, S.: Earliest query answering for deterministic nested word automata. In: Kutyłowski, M., Charatonik, W., Gębala, M. (eds.) FCT 2009. LNCS, vol. 5699, pp. 121–132. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

11. Gauwin, O., Niehren, J., Tison, S.: Queries on XML streams with bounded delay and concurrency. Information and Computation 209, 409–442 (2011)

    Article  MathSciNet  MATH  Google Scholar 

12. Gupta, A.K., Suciu, D.: Stream processing of XPath queries with predicates. In: SIGMOD Conference, pp. 419–430 (2003)

    Google Scholar 

13. Kay, M.: A streaming XSLT processor. In: Balisage: The Markup Conf., vol. 5 (2010)

    Google Scholar 

14. Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Formal Methods in System Design 19(3), 291–314 (2001)

    Article  MathSciNet  MATH  Google Scholar 

15. Le-Phuoc, D., Dao-Tran, M., Xavier Parreira, J., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 370–388. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

16. Ley, C., Benedikt, M.: How Big Must Complete XML Query Languages Be? In: 12th International Conference on Database Theory, pp. 183–200 (2009)

    Google Scholar 

17. Madhusudan, P., Viswanathan, M.: Query automata for nested words. In: Královič, R., Niwiński, D. (eds.) MFCS 2009. LNCS, vol. 5734, pp. 561–573. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

18. Mozafari, B., Zeng, K., Zaniolo, C.: High-performance complex event processing over XML streams. In: ACM SIGMOD, pp. 253–264 (2012)

    Google Scholar 

19. Olteanu, D.: SPEX: Streamed and progressive evaluation of XPath. IEEE Trans. on Know. Data Eng. 19(7), 934–949 (2007)

    Article  Google Scholar 

20. Schmidt, M., Scherzinger, S., Koch, C.: Combined static and dynamic analysis for effective buffer minimization in streaming XQuery evaluation. In: ICDE (2007)

    Google Scholar 

Download references