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: 1198
Venue: PODS
Year: 2000
Pagerank: 5.3077309e-05
Overall Rank: 9,178 | 37.04%
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,653	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.2898925e-05
4,178	A Web Odyssey: from Codd to XML	2001	PODS	6.849218e-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
763	On the Complexity of Bounded-Variable Queries	1995	PODS	0.00014230134
1,159	Relational Transducers for Electronic Commerce	1998	PODS	0.00011898742
2,662	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions	1993	PODS	8.2831426e-05
3,171	Temporal versus First-Order Logic to Query Temporal Databases	1996	PODS	7.6691319e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,628	A Formalism for Extended Transaction Models	1991	VLDB
2	14,121	Correctness in General Configurations of Transactional Components	1999	PODS
3	7,615	Deciding Properties of Transactional Schemas	1986	PODS
4	2,125	Verification of Communicating Data-Driven Web Services	2006	PODS
5	13,232	Specification and Verification of Abstract Database Types	1984	PODS
6	1,623	Relational Transducers for Declarative Networking	2011	PODS
7	5,475	Verifiable Properties of Database Transactions	1996	PODS
8	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
9	4,962	Transactions And Integrity Constraints	1985	PODS
10	1,159	Relational Transducers for Electronic Commerce	1998	PODS