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,933 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010049404 |
| 3,814 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7315557e-05 |
| 7,234 | A Crash Course on Database Queries | 2007 | PODS | 4.7882493e-05 |
| 12,265 | Transforming XML Documents as Schemas Evolve | 2010 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 880 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015642282 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 3,434 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.0965116e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,225 | Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages | 2010 | PODS | 4.1905499e-05 |
| 5,301 | Running Tree Automata on Probabilistic XML | 2009 | PODS | 5.5749031e-05 |
| 12,449 | Querying XML with Update Syntax | 2007 | SIGMOD | 4.1905499e-05 |
| 12,165 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1905499e-05 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 12,177 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1905499e-05 |
| 3,814 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7315557e-05 |
| 3,434 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.0965116e-05 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014924533 |
| 1,854 | Typing and Querying XML Documents: Some Complexity Bounds | 2003 | PODS | 0.00010320817 |