Maarten Marx  Home/Search
Context
Related
| turing.wins.uva.nl/%7Emarx...pods04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: turing.wins.uva.nl/%7Emarx/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: XPath is the W3C--standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at present is a clear characterization of the expressive power of XPath, be it either semantical or with reference to some well established existing (logical) formalism. Core XPath (the logical core of XPath 1.0 defined by Gottlob et al.) cannot express queries with conditional paths as exemplified by "do a child step, while... (Update)
Active bibliography (related documents): More All
0.8: Model Theoretic Syntax - Cornell, Rogers (1998) (Correct)
0.6: XPath with conditional axis relations - Marx (2004) (Correct)
0.5: XML Query Evaluation via CTL Model Checking - Afanasiev (2004) (Correct)
Similar documents based on text:
0.3: Specifying Access Control Policies for XML Documents with XPath - Fundulaki, Marx (2004) (Correct)
BibTeX entry: (Update)
@misc{ marx-conditional,
author = "Maarten Marx",
title = "Conditional XPath, the first order complete XPath dialect",
url = "citeseer.ist.psu.edu/marx04conditional.html" }
Citations (may not include all citations):232 Optimal implementation of conjunctive queries in relational .. (context) - Chandra, Merlin - 1977
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
97 A Formalization of Set Theory without Variables (context) - Tarski, Givant - 1987
85 Upper and lower bounds for first order expressibility (context) - Immerman - 1982
47 the complexity of bounded--variable queries (context) - Vardi - 1995
40 Definability with bounded number of bound variables - Immerman, Kozen - 1987
32 Containment and equivalence for an XPath fragment - Miklau, Suciu - 2002
21 Two semantics for XPath - Wadler - 2000
21 Monadic queries over tree-structured data - Gottlob, Koch - 2002
15 A descriptive approach to language theoretic complexity - Rogers - 1998
15 Structural properties of XPath fragments - Benedikt, Fan et al. - 2003
11 and the Monadic Theory of Ordinal Words (context) - Thomas, the - 1997
11 The complexity of XPath query evaluation - Gottlob, Koch et al. - 2003
9 cient algorithms for processing XPath queries (context) - Gottlob, Koch et al. - 2002
7 The complexity of first-order and monadic second-order logic.. (context) - Frick, Grohe - 2002
7 cient Pattern Languages for Tree-Structured Data (context) - Neven, Schwentick - 2000
6 and finite trees (context) - Blackburn, Meyer-Viol et al. - 1994
6 XPath with conditional axis relations - Marx - 2004
6 Expressive power of temporal logics (context) - Rabinovich - 2002
4 cient processing of expressive node-selecting queries on XML.. (context) - Koch - 2003
4 Volume 1: Mathematical Foundations and Computational Aspects (context) - Gabbay, Hodkinson et al. - 1994
4 Transforming tree constraints into formal grammars (context) - Palm - 1997
3 Inessential features - Kracht - 1997
2 Expressive completeness of temporal logic of trees (context) - Schlinglo - 1992
http://www.w3.org/TR/xpath.html
http://www.w3.org/TR/xmlschema-1
http://www.w3.org/TR//xquery/
http://www.w3.org/TR/xpath20/
http://www.w3.org/TR/xslt20/
Documents on the same site (http://turing.wins.uva.nl/%7Emarx/): More
Local Variations on a Loose Theme: Modal Logic and Decidability - Marx, Venema (Correct)
Expressiveness of First-Order Description Logics - Kurtonina, de Rijke (1997) (Correct)
XPath with conditional axis relations - Marx (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC