Structural properties of XPath fragments

DOI10.1016/j.tcs.2004.10.030zbMath1080.68018OpenAlexW2160442532WikidataQ57495559 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

XMLLogicXPathAxiom systemClosure propertyTree pattern

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Related Items

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

Uses Software

• XQuery
• XPath

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item