The expressivity of XPath with transitive closure

@inproceedings{Cate2006TheEO,
  title={The expressivity of XPath with transitive closure},
  author={Balder ten Cate},
  booktitle={PODS},
  year={2006}
}
We extend Core XPath, the navigational fragment of XPath 1.0, with transitive closure and path equalities. The resulting language, Regular XPATH<sup>≈</sup>, is expressively complete for FO* (first-order logic extended with a transitive closure operator that can be applied to formulas with exactly two free variables). As a corollary, we obtain that Regular XPATH<sup>≈</sup> is closed under path intersection and complementation. We also provide characterizations for the *-positive fragment of… CONTINUE READING
Highly Cited
This paper has 98 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 46 extracted citations

Containment for Conditional Tree Patterns

Logical Methods in Computer Science • 2015
View 16 Excerpts
Highly Influenced

Logical Foundations of XML and XQuery

Reasoning Web • 2009
View 5 Excerpts
Highly Influenced

Navigational XPath: calculus and algebra

SIGMOD Record • 2007
View 5 Excerpts
Highly Influenced

98 Citations

01020'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 98 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Logical Methods in Computer Science • 2007
View 8 Excerpts
Highly Influenced

Automata, Logic, and XML

CSL • 2002
View 12 Excerpts
Highly Influenced

Conditional XPath

M. Marx
ACM Transactions on Database Systems, 30(4):929–959, • 2005
View 13 Excerpts
Highly Influenced

Semantic characterizations of navigational XPath

SIGMOD Record • 2004
View 8 Excerpts
Highly Influenced

XPath with Conditional Axis Relations

EDBT • 2004
View 6 Excerpts
Highly Influenced

Monadic Queries over Tree-Structured Data

View 20 Excerpts
Highly Influenced

Data on the Web

S. Abiteboul, P. Buneman, D. Suciu
Morgan Kaufmann, • 2000
View 4 Excerpts
Highly Influenced