XML with Data Values: Typechecking Revisited
Summary: Revisits static XML typechecking including data values and tests, showing this realistic extension makes typechecking quickly undecidable. Delineates practical fragments of queries/DTDs that remain decidable, traces a tight decidability boundary and gives complexity results. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Noga Alon
- 2. Tova Milo
- 3. Frank Neven
- 4. Dan Suciu
- 5. Victor Vianu
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,777 | E-Services: A Look Behind the Curtain | 2003 | PODS | 0.00010571658 |
| 2,155 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4164126e-05 |
| 4,014 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.5300582e-05 |
| 4,076 | Two-Variable Logic on Data Trees and XML Reasoning | 2006 | PODS | 6.4657154e-05 |
| 6,651 | Information Preserving XML Schema Embedding | 2005 | VLDB | 4.9714449e-05 |
| 7,234 | A Crash Course on Database Queries | 2007 | PODS | 4.7882493e-05 |
| 7,288 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7695781e-05 |
| 9,531 | Deciding Well-Definedness of XQuery Fragments | 2005 | PODS | 4.3249319e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 489 | Your Mediators Need Data Conversion! | 1998 | SIGMOD | 0.00021989648 |
| 880 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015642282 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014924533 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 2,953 | On Wrapping Query Languages and Efficient XML Integration | 2000 | SIGMOD | 7.8225025e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,105 | On Verifying Consistency of XML Specifications | 2002 | PODS | 5.2040915e-05 |
| 12,165 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1905499e-05 |
| 1,933 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010049404 |
| 12,223 | Certain Answers for XML Queries | 2010 | PODS | 4.1905499e-05 |
| 2,217 | XML Data Exchange: Consistency and Query Answering | 2005 | PODS | 9.2682054e-05 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014924533 |
| 880 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015642282 |
| 2,155 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4164126e-05 |
| 1,854 | Typing and Querying XML Documents: Some Complexity Bounds | 2003 | PODS | 0.00010320817 |