Structural properties of XPath fragments

Theoretical Computer Science

Volumn 336, Issue 1, 2005, Pages 3-31

  Benedikt, Michael ^a   Fan, Wenfei ^a,b   Kuper, Gabriel ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

Axiom system; Closure property; Logic; Tree pattern; XML; XPath

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; DATA REDUCTION; FORMAL LOGIC; OPTIMIZATION; QUERY LANGUAGES;

AXIOM SYSTEMS; CLOSURE PROPERTY; TREE PATTERN; XPATH;

XML;

EID: 18144403233     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.030     Document Type: Conference Paper

References (30)

1. S. Amer-Yahia, S. Cho, V. Lakshmaman, D. Srivistava, Minimization of tree pattern queries, in: Proc. ACM SIGMOD Conf. on Management of Data, 2001.
2. A. Berglund, et al., XML Path Language (XPath) 2.0. W3C Working Draft, December 2001. http://www.w3.org/TR/xpath20.
3. G. Bex, S. Maneth, and F. Neven A formal model for an expressive fragment of XSLT Inform. Systems 27 1 2002 21 39
4. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, Reasoning in expressive description logics, in: Handbook of Automated Reasoning, Elsevier, 2001, pp. 1581-1634.
5. D. Chamberlin, et al., XQuery 1.0: An XML query language, W3C Working Draft, June 2001. http://www.w3.org/TR/xquery.
6. C. Chan, P. Felber, M. Garofalakis, R. Rastogu, Efficient filtering of XML documents with XPath expressions, in: Proc. IEEE Internat. Conf. Data Engineering (ICDE), 2002.
7. J. Clark, XSL Transformations (XSLT), W3C Recommendation, November 1999. http://www.w3.org/TR/xslt.
8. J. Clark, S. DeRose, XML Path Language (XPath), W3C Recommendation, November 1999. http://www.w3.org/TR/xpath.
9. A. Deutsch, V. Tannen, Containment for classes of XPath expressions under integrity constraints, in: Proc. Internat. Workshop on Knowledge Representation meets Databases (KRDB), 2001.
10. H.D. Ebbinghaus, and J. Flum Finite Model Theory 1999 Springer Berlin
11. G. Gottlob, C. Koch, Monadic datalog and the expressive power of languages for Web information extraction, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2002.
12. G. Gottlob, C. Koch, R. Pichler, The complexity of XPath query evaluation, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2003.
13. D. Harel, D. Kozen, and J. Tiuryn Dynamic Logic 2000 The MIT Press Cambridge
14. C. Hoffmann, and M. O'Donnell Pattern matching in trees J. ACM 29 1 1982 68 95
15. J.E. Hopcroft, and J.D. Ullman Introduction to Automata Theory, Languages and Computation 1979 Addison Wesley Reading
16. P. Kilpelainen, and H. Manilla Ordered and unordered tree inclusion SIAM J. Comput. 24 2 1995 340 356
17. G. Miklau, D. Suciu, Containment and equivalence of XPath expressions, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2002.
18. T. Milo, D. Suciu, V. Vianu, Typechecking for XML transformers, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2001.
19. M. Murata, Extended path expressions for XML, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2001.
20. F. Neven, T. Schwentick, Expressive and efficient languages for tree-structured data, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2000.
21. F. Neven, T. Schwentick, XPath containment in the presence of disjunction, DTDs, and variables, in: Proc. Internat. Conf. on Database Theory (ICDT), 2003.
22. D. Olteanu, H. Meuss, T. Furche, F. Bry, XPath: looking forward, in: Workshop on XML-Based Data Management (XMLDM), 2002.
23. P. Ramanan, Efficient algorithms for minimizing tree pattern queries, in: Proc. ACM SIGMOD Conf. on Management of Data, 2002.
24. V. Redko On defining relations for the algebra of regular events Ukrainskii Matematicheskii Zhurnal 16 1964 120 126 (in Russian)
25. J. Robie, J. Lapp, D. Schach, XML Query Language (XQL), Workshop on XML Query Languages, December 1998.
26. L. Segoufin, Typing and querying XML documents: some complexity bounds, in: Proc. ACM Symp. on Principles of Database Systems (PODS), 2003.
27. H. Thompson, et al., XML Schema, W3C Working Draft, May 2001. http://www.w3.org/XML/Schema.
28. P. Wadler, Two semantics for XPath, Tech. Rep. Bell Labs, 2000.
29. P. Wood, Minimising simple XPath expressions, in: Proc. Internat. Workshop on the Web and Databases (WebDB), 2001.
30. P. Wood, Containment for XPath fragments under DTD constraints, in: Proc. Internat. Conf. on Database Theory (ICDT), 2003.