Structural properties of XPath fragments

DOI10.1016/J.TCS.2004.10.030zbMATH Open1080.68018DBLPjournals/tcs/BenediktFK05OpenAlexW2160442532WikidataQ57495559 ScholiaQ57495559MaRDI QIDQ555765FDOQ555765

Authors: Michael Benedikt, Wenfei Fan, 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

Recommendations

• scientific article; zbMATH DE number 1953125
• Complete axiomatizations for XPath fragments
• On the minimization of XPath queries
• Containment and equivalence for a fragment of XPath
• Structural characterizations of the navigational expressiveness of relation algebras on a tree

zbMATH Keywords

XMLXPathAxiom systemClosure propertyLogicTree pattern

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of XPath query evaluation and XML typing
• Containment and equivalence for a fragment of XPath
• Monadic Datalog and the expressive power of languages for web information extraction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pattern Matching in Trees
• Reasoning in expressive description logics
• Ordered and Unordered Tree Inclusion
• Typechecking for XML transformers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal model for an expressive fragment of XSLT
• Efficient filtering of XML documents with XPath expressions

Cited In (18)

• Deciding twig-definability of node selecting tree automata
• Efficient and Expressive Tree Filters
• Database Programming Languages
• Containment and equivalence for a fragment of XPath
• Least common container of tree pattern queries and its applications
• Numerical constraints on XML data
• Extended structural recursion and XSLT
• Axiomatizing the logical core of XPath 2.0
• Database Programming Languages
• Axiomatizations for downward XPath on data trees
• Structural characterizations of the navigational expressiveness of relation algebras on a tree
• Complete axiomatizations for XPath fragments
• The complexity of query containment in expressive fragments of XPath 2.0
• Some modal aspects of XPath
• Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons
• On the Notion of an XML Key
• Relative expressive power of navigational querying on graphs
• Title not available (Why is that?)

Uses Software

• XQuery
• XPath

This page was built for publication: Structural properties of XPath fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555765)