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)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 4,010 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.5351699e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 602 | On the Complexity of Bounded-Variable Queries | 1995 | PODS | 0.00019352415 |
| 989 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014814282 |
| 2,760 | Temporal versus First-Order Logic to Query Temporal Databases | 1996 | PODS | 8.1634739e-05 |
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,500 | A Formalism for Extended Transaction Models | 1991 | VLDB | 5.4744227e-05 |
| 13,920 | Correctness in General Configurations of Transactional Components | 1999 | PODS | - |
| 7,220 | Deciding Properties of Transactional Schemas | 1986 | PODS | 4.7976464e-05 |
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 13,033 | Specification and Verification of Abstract Database Types | 1984 | PODS | 4.1945683e-05 |
| 1,374 | Relational Transducers for Declarative Networking | 2011 | PODS | 0.0001230835 |
| 4,709 | Verifiable Properties of Database Transactions | 1996 | PODS | 5.9795558e-05 |
| 6,825 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9143895e-05 |
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 989 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014814282 |