Conditional XPath, the first order complete XPath dialect

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn 23, Issue , 2004, Pages 13-22

  Marx, Maarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERIZATION; EVALUATION; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING; TREES (MATHEMATICS);

CONDITIONAL AXIS RELATIONS; VARIABLE FREE LANGUAGES; XPATH DIALECT;

XML;

EID: 3142685198     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1055558.1055562     Document Type: Conference Paper

References (30)

1. M. Benedikt, W. Fan, and G. Kuper. Structural properties of XPath fragments. In Proc. ICDT'03, 2003.
2. P. Blackburn and W. Meyer-Viol. Linguistics, logic, and finite trees. Logic J. of the IGPL, 2:3-29, 1994.
3. A. Chandra and P. Merlin. Optimal implementation of conjunctive queries in relational databases. In Proceedings of 9th ACM Symposium on Theory of Computing, pages 77-90, 1977.
4. M. Prick and M. Grohe. The complexity of first-order and monadic second-order logic revisited. In Proc. LICS'02, pages 215-224, 2002.
5. D.M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic. Oxford Science Publications, 1994. Volume 1: Mathematical Foundations and Computational Aspects.
6. D.M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symposium on Principles of Programming Languages, pages 163-173, 1980.
7. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In Proc. VLDB'OS, 2002.
8. G. Gottlob, C. Koch, and R. Pichler. The complexity of XPath query evaluation. In Proc. PODS 2005, pages 179-190, 2003.
9. G. Gottlob and C. Koch. Monadic queries over tree-structured data. In Proc. LICS'02, 2002.
10. N. Immerman. Upper and lower bounds for first order expressibility. J. Comput. Syst. Sci., 25:76-98, 1982.
11. N. Immerman and D. Kozen. Definability with bounded number of bound variables. In Proc. LICS , pages 236-244, Washington, 1987. Computer Society Press.
12. J.A.W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, U. of California, LA, 1968.
13. C. Koch. Efficient processing of expressive node-selecting queries on XML data in secondary storage: A tree automata-based approach. In VLDB 2003, pages 249-260, 2003.
14. M. Kracht. Inessential features. In Christian Retore, editor, Logical Aspects of Computational Linguistics, number 1328 in LNAI, pages 43-62. Springer, 1997.
15. M. Marx. XPath with conditional axis relations. In Proc. EDBT'04, pages 477-494. 2004.
16. F. Neven and T. Schwentick. Expressive and Efficient Pattern Languages for Tree-Structured Data. In Proc. PODS'02, pages 145-156. 2000.
17. G. Miklau and D. Suciu. Containment and equivalence for an XPath fragment. In Proc. PODS'02, pages 65-76, 2002.
18. A. Palm. Transforming tree constraints into formal grammars. PhD thesis, Universität Passau, 1997.
19. A. Rabinovich. Expressive power of temporal logics. In CONCUR 2002, Proceedings, volume 2421 of LNAI, pages 57-75, 2002.
20. J. Rogers. A descriptive approach to language theoretic complexity. CSLI Press, 1998.
21. B-H. Schlingloff. Expressive completeness of temporal logic of trees. Journal of Applied Non-Classical Logics, 2(2):157-180, 1992.
22. A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41. AMS Colloquium publications, Providence, Rhode Island, 1987.
23. W. Thomas. Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. In Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Pages 118-143, Springer, 1997.
24. M. Vardi. On the complexity of bounded-variable queries. In Proceedings PODS-95, pages 266-276, 1995.
25. W3C. XML path language (XPath): Version 1.0. http://www.w3.org/TR/xpath. html.
26. W3C. XML path language (XPath): Version 2.0. http://www.w3.org/TR/xpath. 20/.
27. W3C. XML schema part 1: Structures, http://www.w3.org/TH/xmlschema-1.
28. W3C. Xquery 1.0: A query language for XML. http://www.w3.org/TR//xquery/.
29. W3C. XSL transformations language (XSLT): Version 2.0. http://www.w3.org/TR/xslt20/.
30. P. Wadler. Two semantics for XPath. Technical report, Bell Labs, 2000.