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: 1231
Venue: PODS
Year: 2001
Pagerank: 7.1033924e-05
Overall Rank: 3,427 | 76.17%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,779	E-Services: A Look Behind the Curtain	2003	PODS	0.00010581176
2,150	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4255252e-05
4,010	A Web Odyssey: from Codd to XML	2001	PODS	6.5351699e-05
4,073	Two-Variable Logic on Data Trees and XML Reasoning	2006	PODS	6.4719397e-05
6,652	Information Preserving XML Schema Embedding	2005	VLDB	4.9761854e-05
7,238	A Crash Course on Database Queries	2007	PODS	4.7928464e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
9,530	Deciding Well-Definedness of XQuery Fragments	2005	PODS	4.3290808e-05

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
491	Your Mediators Need Data Conversion!	1998	SIGMOD	0.00022011503
882	DTD Inference for Views of XML Data	2000	PODS	0.00015657456
970	Typechecking for XML Transformers	2000	PODS	0.00014939578
1,897	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS	0.00010178006
2,952	On Wrapping Query Languages and Efficient XML Integration	2000	SIGMOD	7.8300484e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,101	On Verifying Consistency of XML Specifications	2002	PODS	5.2090945e-05
12,157	Type-Based Detection of XML Query-Update Independence	2012	VLDB	4.1945683e-05
1,929	XPath Satisfiability in the Presence of DTDs	2005	PODS	0.00010058897
12,215	Certain Answers for XML Queries	2010	PODS	4.1945683e-05
2,211	XML Data Exchange: Consistency and Query Answering	2005	PODS	9.2771941e-05
1,897	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS	0.00010178006
970	Typechecking for XML Transformers	2000	PODS	0.00014939578
882	DTD Inference for Views of XML Data	2000	PODS	0.00015657456
2,150	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4255252e-05
1,848	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS	0.00010330772