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, https://hdl.handle.net/11572/358633

zbMATH Keywords

Axiom systemClosure propertyLogicTree patternXMLXPath

Mathematics Subject Classification ID

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

Recommendations

• Structural properties of XPath fragments
• 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

• A formal model for an expressive fragment of XSLT
• Automata- and logic-based pattern languages for tree-structured data
• Containment and equivalence for a fragment of XPath
• Containment for XPath fragments under DTD constraints
• Efficient filtering of XML documents with XPath expressions
• Finite model theory.
• 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?)
• 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
• XPath containment in the presence of disjunction, DTDs, and variables
• XPath: Looking forward

Cited in

(18)

• Axiomatizing the logical core of XPath 2.0
• Axiomatizations for downward XPath on data trees
• Deciding twig-definability of node selecting tree automata
• Some modal aspects of XPath
• Extended structural recursion and XSLT
• The complexity of query containment in expressive fragments of XPath 2.0
• Structural properties of XPath fragments
• Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons
• Relative expressive power of navigational querying on graphs
• Efficient and Expressive Tree Filters
• Database Programming Languages
• Database Programming Languages
• Containment and equivalence for a fragment of XPath
• On the Notion of an XML Key
• 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

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)