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: 1504
Venue: PODS
Year: 2010
Pagerank: 5.093636e-05
Overall Rank: 12,409 | 14.87%
DOI: 10.1145/1807085.1807093

Incoming Non-self Citations Over Time

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

Authors

1. Jianwen Su (University of California Santa Barbara)
2. Phokion G. Kolaitis (IBM; University of California Santa Cruz)

BibTeX Citation

@inproceedings{su_pods10,
        address = {New York, NY, USA},
        series = {{PODS} '10},
        title = {{The ACM PODS Alberto O. Mendelzon Test-of-Time-Award 2010}},
        url = {https://dl.acm.org/doi/10.1145/1807085.1807093},
        doi = {10.1145/1807085.1807093},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Su, Jianwen and Kolaitis, Phokion G.},
        year = {2010}
}

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
1,372	Typechecking for XML Transformers	2000	PODS	0.00010994864
4,167	Integrity Constraints for XML	2000	PODS	6.8578387e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,515	On XML Integrity Constraints in the Presence of DTDs	2001	PODS
2	4,167	Integrity Constraints for XML	2000	PODS
3	4,051	XML Type Checking with Macro Tree Transducers	2005	PODS
4	3,679	XML with Data Values: Typechecking Revisited	2001	PODS
5	12,628	Reasoning about XML Update Constraints	2007	PODS
6	6,137	XML Transformation by Tree-Walking Transducers with Invisible Pebbles	2007	PODS
7	1,372	Typechecking for XML Transformers	2000	PODS
8	3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS
9	11,900	2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award	2018	PODS
10	11,971	2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award	2017	PODS