Verification of Relational Transducers for Electronic Commerce

Summary: ASM-based relational transducers modeling multi-party transaction protocols for e‑commerce where each participant runs an active database. Prove decidability/solvability of several key verification problems for this expressive class, offering a complementary verification framework to Abiteboul et al. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h6d9971125a6e8094
Venue: PODS
Year: 2000
Pagerank: 5.1886678e-05
Overall Rank: 9,353 | 37.12%
DOI: 10.1145/335168.335212

Incoming Non-self Citations Over Time

Authors

1. Marc Spielmann (RWTH Aachen University)

BibTeX Citation

@inproceedings{spielmann_pods00,
        address = {New York, NY, USA},
        series = {{PODS} '00},
        title = {{Verification of Relational Transducers for Electronic Commerce}},
        url = {https://dl.acm.org/doi/10.1145/335168.335212},
        doi = {10.1145/335168.335212},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Spielmann, Marc},
        year = {2000}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,711	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.1038896e-05
4,266	A Web Odyssey: from Codd to XML	2001	PODS	6.6972871e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
794	On the Complexity of Bounded-Variable Queries	1995	PODS	0.00013941847
1,176	Relational Transducers for Electronic Commerce	1998	PODS	0.00011643011
2,716	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions	1993	PODS	8.1006747e-05
3,223	Temporal versus First-Order Logic to Query Temporal Databases	1996	PODS	7.5126678e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,432	Correctness in General Configurations of Transactional Components	1999	PODS
2	5,756	A Formalism for Extended Transaction Models	1991	VLDB
3	7,766	Deciding Properties of Transactional Schemas	1986	PODS
4	2,164	Verification of Communicating Data-Driven Web Services	2006	PODS
5	13,522	Specification and Verification of Abstract Database Types	1984	PODS
6	1,630	Relational Transducers for Declarative Networking	2011	PODS
7	5,602	Verifiable Properties of Database Transactions	1996	PODS
8	7,595	A Transaction Logic for Database Specification	1988	SIGMOD
9	5,082	Transactions And Integrity Constraints	1985	PODS
10	1,176	Relational Transducers for Electronic Commerce	1998	PODS