XML Type Checking with Macro Tree Transducers

Summary: Introduces TL, a DTL generalization adding full MSO pattern matching, arbitrary MSO-guided navigation and parameterized procedures. Shows TL (hence DTL) admits effective inverse type inference via translation to compositions of stay macro tree transducers. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1360
Venue: PODS
Year: 2005
Pagerank: 6.9364294e-05
Overall Rank: 4,051 | 72.21%
DOI: 10.1145/1065167.1065203

Incoming Non-self Citations Over Time

Authors

1. S. Maneth (EPFL)
2. A. Berlea (Technical University of Munich)
3. T. Perst (Technical University of Munich)
4. H. Seidl (Technical University of Munich)

BibTeX Citation

@inproceedings{maneth_pods05,
        address = {New York, NY, USA},
        series = {{PODS} '05},
        title = {{XML Type Checking with Macro Tree Transducers}},
        url = {https://dl.acm.org/doi/10.1145/1065167.1065203},
        doi = {10.1145/1065167.1065203},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Maneth, S. and Berlea, A. and Perst, T. and Seidl, H.},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,137	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS	5.9643797e-05
7,270	A Crash Course on Database Queries	2007	PODS	5.6595955e-05
8,459	Static Analysis of Graph Database Transformations	2023	PODS	5.4216353e-05
12,365	The Complexity of Text-Preserving XML Transformations	2011	PODS	5.093636e-05
12,413	A Learning Algorithm for Top-Down XML Transformations	2010	PODS	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	7.5749332e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,361	Static Analysis of Active XML Systems	2008	PODS
2	13,954	On the Power of Walking for Querying Tree-Structured Data	2002	PODS
3	12,412	Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages	2010	PODS
4	3,679	XML with Data Values: Typechecking Revisited	2001	PODS
5	13,875	Trees, Automata and XML (Invited Tutorial)	2004	PODS
6	12,624	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS
7	12,365	The Complexity of Text-Preserving XML Transformations	2011	PODS
8	6,137	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS
9	1,372	Typechecking for XML Transformers	2000	PODS
10	3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS