Typechecking for XML Transformers

Summary: Model XML transformers by k‑pebble transducers capturing most XML‑QL and XSLT fragments (excluding data‑value joins); types are regular tree languages. Main result: typechecking is decidable — given input DTD and output regular‑tree spec, verify all transducer outputs conform. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1191
Venue: PODS
Year: 2000
Pagerank: 0.00014939578
Overall Rank: 970 | 93.26%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
713	Efficient Algorithms for Processing XPath Queries	2002	VLDB	0.00017731096
882	DTD Inference for Views of XML Data	2000	PODS	0.00015657456
987	XPath Queries on Streaming Data	2003	SIGMOD	0.00014819204
1,324	Numerical Document Queries	2003	PODS	0.00012581674
1,929	XPath Satisfiability in the Presence of DTDs	2005	PODS	0.00010058897
3,427	XML with Data Values: Typechecking Revisited	2001	PODS	7.1033924e-05
4,010	A Web Odyssey: from Codd to XML	2001	PODS	6.5351699e-05
5,289	Exchanging Intensional XML Data	2003	SIGMOD	5.5831013e-05
6,509	Representing and Querying XML with Incomplete Information	2001	PODS	5.0331402e-05
7,238	A Crash Course on Database Queries	2007	PODS	4.7928464e-05
7,361	Extended Path Expressions for XML	2001	PODS	4.7524599e-05
12,214	The ACM PODS Alberto O. Mendelzon Test-of-Time-Award 2010	2010	PODS	4.1945683e-05
12,257	Transforming XML Documents as Schemas Evolve	2010	VLDB	4.1945683e-05
12,382	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1945683e-05
12,618	Query-preserving Watermarking of Relational Databases and XML Documents	2003	PODS	4.1945683e-05
13,645	Regular Rewriting of Active XML and Unambiguity	2005	PODS	-

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
13,753	On the Power of Walking for Querying Tree-Structured Data	2002	PODS	-
12,430	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS	4.1945683e-05
1,897	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS	0.00010178006
12,169	The Complexity of Text-Preserving XML Transformations	2011	PODS	4.1945683e-05
1,848	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS	0.00010330772
12,440	Querying XML with Update Syntax	2007	SIGMOD	4.1945683e-05
5,716	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS	5.3561157e-05
3,811	XML Type Checking with Macro Tree Transducers	2005	PODS	6.7380404e-05
3,427	XML with Data Values: Typechecking Revisited	2001	PODS	7.1033924e-05
2,150	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4255252e-05