Structural properties of XPath fragments

DOI10.1016/j.tcs.2004.10.030zbMath1080.68018WikidataQ57495559 ScholiaQ57495559MaRDI QIDQ555765

Wenfei Fan, Michael Benedikt, Gabriel M. Kuper

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.biblio.unitn.it/299/1/89.pdf

zbMATH Keywords

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

Mathematics Subject Classification ID

68N15: Theory of programming languages

68P05: Data structures

Related Items

Efficient and Expressive Tree Filters, On the Notion of an XML Key, Deciding twig-definability of node selecting tree automata, Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons, Relative expressive power of navigational querying on graphs, Least common container of tree pattern queries and its applications, Structural characterizations of the navigational expressiveness of relation algebras on a tree, Numerical constraints on XML data, Complete axiomatizations for XPath fragments, Axiomatizing the logical core of XPath 2.0, Axiomatizations for downward XPath on data trees, Some modal aspects of XPath

Uses Software

• XQuery
• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Typechecking for XML transformers
• A formal model for an expressive fragment of XSLT
• Efficient filtering of XML documents with XPath expressions
• The complexity of XPath query evaluation and XML typing
• Pattern Matching in Trees
• Ordered and Unordered Tree Inclusion
• Containment and equivalence for a fragment of XPath
• Monadic datalog and the expressive power of languages for Web information extraction