Frontiers of Tractability for Typechecking Simple XML Transformations
Summary: Characterizes precise tractability frontiers for complete typechecking of top-down XML transformations with XPath, using grammars and tree automata for schemas. Identifies several practical, polynomial-time cases and matching hardness results showing most relaxations become intractable. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Wim Martens
- 2. Frank Neven
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,929 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010058897 |
| 3,811 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7380404e-05 |
| 7,238 | A Crash Course on Database Queries | 2007 | PODS | 4.7928464e-05 |
| 12,257 | Transforming XML Documents as Schemas Evolve | 2010 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 882 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015657456 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,217 | Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages | 2010 | PODS | 4.1945683e-05 |
| 5,296 | Running Tree Automata on Probabilistic XML | 2009 | PODS | 5.5802694e-05 |
| 12,440 | Querying XML with Update Syntax | 2007 | SIGMOD | 4.1945683e-05 |
| 12,157 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1945683e-05 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |
| 12,169 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1945683e-05 |
| 3,811 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7380404e-05 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014939578 |
| 1,848 | Typing and Querying XML Documents: Some Complexity Bounds | 2003 | PODS | 0.00010330772 |