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.00014924533
Overall Rank: 970 | 93.27%
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
712	Efficient Algorithms for Processing XPath Queries	2002	VLDB	0.00017714027
880	DTD Inference for Views of XML Data	2000	PODS	0.00015642282
988	XPath Queries on Streaming Data	2003	SIGMOD	0.00014805516
1,328	Numerical Document Queries	2003	PODS	0.00012565501
1,933	XPath Satisfiability in the Presence of DTDs	2005	PODS	0.00010049404
3,434	XML with Data Values: Typechecking Revisited	2001	PODS	7.0965116e-05
4,014	A Web Odyssey: from Codd to XML	2001	PODS	6.5300582e-05
5,295	Exchanging Intensional XML Data	2003	SIGMOD	5.5777753e-05
6,505	Representing and Querying XML with Incomplete Information	2001	PODS	5.0282726e-05
7,234	A Crash Course on Database Queries	2007	PODS	4.7882493e-05
7,357	Extended Path Expressions for XML	2001	PODS	4.7479042e-05
12,222	The ACM PODS Alberto O. Mendelzon Test-of-Time-Award 2010	2010	PODS	4.1905499e-05
12,265	Transforming XML Documents as Schemas Evolve	2010	VLDB	4.1905499e-05
12,390	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1905499e-05
12,627	Query-preserving Watermarking of Relational Databases and XML Documents	2003	PODS	4.1905499e-05
13,659	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,767	On the Power of Walking for Querying Tree-Structured Data	2002	PODS	-
1,900	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS	0.00010168127
12,439	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS	4.1905499e-05
12,177	The Complexity of Text-Preserving XML Transformations	2011	PODS	4.1905499e-05
1,854	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS	0.00010320817
12,449	Querying XML with Update Syntax	2007	SIGMOD	4.1905499e-05
5,726	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS	5.3509726e-05
3,814	XML Type Checking with Macro Tree Transducers	2005	PODS	6.7315557e-05
3,434	XML with Data Values: Typechecking Revisited	2001	PODS	7.0965116e-05
2,155	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4164126e-05