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 (Tel Aviv University)
- 2. Tova Milo (Tel Aviv University)
- 3. Frank Neven (Limburgs Universitair Centrum)
- 4. Dan Suciu (University of Washington)
- 5. Victor Vianu (University of California San Diego)
BibTeX Citation
@inproceedings{alon_pods01,
address = {New York, NY, USA},
series = {{PODS} '01},
title = {{XML with Data Values: Typechecking Revisited}},
url = {https://dl.acm.org/doi/10.1145/375551.375570},
doi = {10.1145/375551.375570},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Alon, Noga and Milo, Tova and Neven, Frank and Suciu, Dan and Vianu, Victor},
year = {2001}
}
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,159 | E-Services: A Look Behind the Curtain | 2003 | PODS | 8.9372589e-05 |
| 3,343 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 7.405187e-05 |
| 4,135 | Two-Variable Logic on Data Trees and XML Reasoning | 2006 | PODS | 6.7875138e-05 |
| 4,266 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.6972871e-05 |
| 6,736 | Information Preserving XML Schema Embedding | 2005 | VLDB | 5.6928321e-05 |
| 7,420 | A Crash Course on Database Queries | 2007 | PODS | 5.5326094e-05 |
| 7,503 | Static Analysis of Active XML Systems | 2008 | PODS | 5.5076551e-05 |
| 9,851 | Deciding Well-Definedness of XQuery Fragments | 2005 | PODS | 5.1198285e-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 |
|---|---|---|---|---|
| 662 | Your Mediators Need Data Conversion! | 1998 | SIGMOD | 0.00015001476 |
| 1,315 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00011058412 |
| 1,406 | Typechecking for XML Transformers | 2000 | PODS | 0.00010749818 |
| 2,317 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 8.6477878e-05 |
| 3,388 | On Wrapping Query Languages and Efficient XML Integration | 2000 | SIGMOD | 7.3520437e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,135 | Two-Variable Logic on Data Trees and XML Reasoning | 2006 | PODS |
| 2 | 12,644 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB |
| 3 | 1,976 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS |
| 4 | 12,701 | Certain Answers for XML Queries | 2010 | PODS |
| 5 | 2,100 | XML Data Exchange: Consistency and Query Answering | 2005 | PODS |
| 6 | 2,317 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS |
| 7 | 1,406 | Typechecking for XML Transformers | 2000 | PODS |
| 8 | 1,315 | DTD Inference for Views of XML Data | 2000 | PODS |
| 9 | 3,343 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS |
| 10 | 2,934 | Typing and Querying XML Documents: Some Complexity Bounds | 2003 | PODS |