Structural properties of XPath fragments

DOI10.1016/J.TCS.2004.10.030MaRDI QIDQ555765zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

XMLXPathAxiom systemClosure propertyLogicTree pattern

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1950751 (Why is no real title available?)
• scientific article; zbMATH DE number 1953139 (Why is no real title available?)
• scientific article; zbMATH DE number 1953140 (Why is no real title available?)
• scientific article; zbMATH DE number 2017841 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 3316966 (Why is no real title available?)
• A formal model for an expressive fragment of XSLT
• Containment and equivalence for a fragment of XPath
• Efficient filtering of XML documents with XPath expressions
• Monadic Datalog and the expressive power of languages for web information extraction
• Ordered and Unordered Tree Inclusion
• Pattern Matching in Trees
• Reasoning in expressive description logics
• The complexity of XPath query evaluation and XML typing
• Typechecking for XML transformers

Cited in

(18)

• scientific article; zbMATH DE number 1953125 (Why is no real title available?)
• 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
• Axiomatizations for downward XPath on data trees
• Database Programming Languages
• 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
• Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons
• Some modal aspects of XPath
• On the Notion of an XML Key
• Relative expressive power of navigational querying on graphs

Describes a project that uses

Uses Software

• XPath
• XQuery

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)