Semantic characterizations of navigational XPath

SIGMOD Record

Volumn 34, Issue 2, 2005, Pages 41-46

  Marx, Maarten ^a   De Rijke, Maarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; PROGRAM DOCUMENTATION; QUERY LANGUAGES; SET THEORY; TREES (MATHEMATICS); XML;

BISIMULATION; CONJUNCTIVE QUERIES; FIRST ORDER LOGIC; NAVIGATIONAL XPATH;

SEMANTICS;

EID: 24344444895     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/1083784.1083792     Document Type: Conference Paper

References (22)

1. L. Afanasiev, M. Prancheschet, M. Marx, and M. de Rijke. CTL Model Checking for Processing Simple XPath Queries. In Proc. TIME 2004, 2004.
2. M. Benedikt, W. Fan, and G. Kuper. Structural properties of XPath fragments. In Proceedings. ICDT 2003, 2003.
3. G. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, 27(1):21-39, 2002.
4. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
5. P. Blackburn, W. Meyer-Viol, and M. de Rijke. A proof system for finite trees. In CSL'96, pages 86-105, 1996.
6. K. Etessami, M. Vardi, and Th. Wilke. First-order logic with two variables and unary temporal logic.
7. G. Gottlob and C. Koch. Monadic queries over tree-structured data. In Proc. LICS, Copenhagen, 2002.
8. G. Gottlob, C. Koch, and R. Pichler. The complexity of XPath query evaluation. In PODS'03, pages 179-190, 2003.
9. G. Gottlob, C. Koch, and K. Schulz. Conjunctive queries over trees. In Proc. PODS, pages 189-200, 2004.
10. M. Marx. Conditional XPath, the first order complete XPath dialect. In Proc. PODS'04, pages 13-22, 2004.
11. M. Marx. First order paths in ordered trees. In T. Eiter and L. Libkin, editors, Proc. ICDT 2005, volume 3363 of LNCS, pages 114-128, 2005.
12. G. Miklau and D. Suciu. Containment and equivalence for an XPath fragment. In Proc. PODS'02, pages 65-76, 2002.
13. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proc. PODS, pages 11-22. ACM, 2000.
14. M. Murata. Extended path expressions for XML. In Proc. PODS, 2001.
15. F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. In Proc. PODS, pages 145-156. ACM, 2000.
16. V. Vianu. A Web odyssey: from Codd to XML. In Proc. PODS, pages 1-15. ACM Press, 2001.
17. W3C. XML path language (XPath): Version 1.0. http://www.w3.org/TR/xpath. html.
18. W3C. XML path language (XPath): Version 2.0. http://www.w3.org/TR/ xpath20/.
19. W3C. XML schema part 1: Structures. http://www.w3.org/TR/xmlschema-1.
20. W3C. XQuery 1.0: A query language for XML. http://www.w3.org/TR//xquery/.
21. W3C. XSL transformations language (XSLT): Version 2.0. http://www.w3.org/TR/xslt20/.
22. P. Wadler. Two semantics for XPath. Technical report, Bell Labs, 2000.