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.1945683e-05
Overall Rank: 12,214 | 15.03%
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.00014939578
3,960	Integrity Constraints for XML	2000	PODS	6.5882121e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,101	On Verifying Consistency of XML Specifications	2002	PODS	5.2090945e-05
2,594	On XML Integrity Constraints in the Presence of DTDs	2001	PODS	8.474176e-05
3,960	Integrity Constraints for XML	2000	PODS	6.5882121e-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
12,434	Reasoning about XML Update Constraints	2007	PODS	4.1945683e-05
5,716	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS	5.3561157e-05
970	Typechecking for XML Transformers	2000	PODS	0.00014939578
2,150	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS	9.4255252e-05
11,766	2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award	2017	PODS	4.1945683e-05