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, Least common container of tree pattern queries and its applications, Numerical constraints on XML data, Complete axiomatizations for XPath fragments, Axiomatizing the logical core of XPath 2.0, Some modal aspects of XPath

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