Structural properties of XPath fragments
- 25 May 2005
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 336 (1), 3-31
- https://doi.org/10.1016/j.tcs.2004.10.030
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- XPath Containment in the Presence of Disjunction, DTDs, and VariablesLecture Notes in Computer Science, 2002
- Containment for XPath Fragments under DTD ConstraintsLecture Notes in Computer Science, 2002
- Efficient filtering of XML documents with XPath expressionsThe VLDB Journal, 2002
- XPath: Looking ForwardLecture Notes in Computer Science, 2002
- A formal model for an expressive fragment of XSLTInformation Systems, 2002
- Dynamic logicACM SIGACT News, 2001
- Reasoning in Expressive Description LogicsPublished by Elsevier BV ,2001
- Typechecking for XML transformersPublished by Association for Computing Machinery (ACM) ,2000
- Ordered and Unordered Tree InclusionSIAM Journal on Computing, 1995
- Pattern Matching in TreesJournal of the ACM, 1982