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,931 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.0001005178 |
| 4,014 | A Web Odyssey: from Codd to XML | 2001 | PODS | 6.5300582e-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 |
|---|---|---|---|---|
| 603 | On the Complexity of Bounded-Variable Queries | 1995 | PODS | 0.00019334592 |
| 990 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014800793 |
| 2,765 | Temporal versus First-Order Logic to Query Temporal Databases | 1996 | PODS | 8.1563487e-05 |
| 2,836 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.0466188e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,513 | A Formalism for Extended Transaction Models | 1991 | VLDB | 5.4691558e-05 |
| 13,934 | Correctness in General Configurations of Transactional Components | 1999 | PODS | - |
| 7,219 | Deciding Properties of Transactional Schemas | 1986 | PODS | 4.7930382e-05 |
| 1,877 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010234468 |
| 13,044 | Specification and Verification of Abstract Database Types | 1984 | PODS | 4.1905499e-05 |
| 1,377 | Relational Transducers for Declarative Networking | 2011 | PODS | 0.00012299784 |
| 4,710 | Verifiable Properties of Database Transactions | 1996 | PODS | 5.9737802e-05 |
| 6,824 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9096742e-05 |
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 990 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014800793 |