DBScholar

Back to papers

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)

Paper ID
h0a719a40c56a4410
Venue
PODS
Year
2001
Pagerank
7.0446245e-05
Overall Rank
3,756 | 74.75%
DOI
10.1145/375551.375570

Incoming Non-self Citations Over Time

Authors

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