The ACM PODS Alberto O. Mendelzon Test-of-Time-Award 2010

Summary: 2010 Mendelzon Test-of-Time Award: Fan & Siméon formalized XML integrity constraints (keys, FKs, inverse, inclusion) and established decision/complexity results for implication and finite implication. Milo, Suciu & Vianu proved decidable XML transformer typechecking via a pebble-equipped tree-transducer; both works reshaped XML modeling and validation. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1505
Venue: PODS
Year: 2010
Pagerank: 4.1905499e-05
Overall Rank: 12,222 | 15.06%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Jianwen Su
2. Phokion G. Kolaitis

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
970	Typechecking for XML Transformers	2000	PODS	0.00014924533
3,962	Integrity Constraints for XML	2000	PODS	6.581926e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,105	On Verifying Consistency of XML Specifications	2002	PODS	5.2040915e-05
2,598	On XML Integrity Constraints in the Presence of DTDs	2001	PODS	8.4660607e-05
3,962	Integrity Constraints for XML	2000	PODS	6.581926e-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
12,443	Reasoning about XML Update Constraints	2007	PODS	4.1905499e-05
5,726	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS	5.3509726e-05
970	Typechecking for XML Transformers	2000	PODS	0.00014924533
2,155	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4164126e-05
11,774	2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award	2017	PODS	4.1905499e-05