Relational Transducers for Electronic Commerce

Summary: Propose relational transducers as declarative specs for e‑commerce: map input relation streams to output and log relation sequences. Analyze log validation, temporal verification, and equivalence, and show decidability for a practical fragment, Spocus (semi‑positive outputs, cumulative state). (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1142
Venue: PODS
Year: 1998
Pagerank: 0.00011898742
Overall Rank: 1,159 | 92.05%
DOI: 10.1145/275487.275507

Incoming Non-self Citations Over Time

Authors

1. Serge Abiteboul (INRIA)
2. Victor Vianu (University of California San Diego)
3. Brad Fordham (Oracle)
4. Yelena Yesha (University of Maryland)

BibTeX Citation

@inproceedings{abiteboul_pods98,
        address = {New York, NY, USA},
        series = {{PODS} '98},
        title = {{Relational Transducers for Electronic Commerce}},
        url = {https://dl.acm.org/doi/10.1145/275487.275507},
        doi = {10.1145/275487.275507},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abiteboul, Serge and Vianu, Victor and Fordham, Brad and Yesha, Yelena},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 20 of 20 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,623	Relational Transducers for Declarative Networking	2011	PODS	0.0001020106
2,122	E-Services: A Look Behind the Curtain	2003	PODS	9.1402274e-05
2,653	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.2898925e-05
3,398	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4467496e-05
4,080	Specification and Verification of Data-driven Web Services	2004	PODS	6.9165722e-05
4,178	A Web Odyssey: from Codd to XML	2001	PODS	6.849218e-05
4,437	Workflow, Transactions and Datalog	1999	PODS	6.7064486e-05
4,624	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.599431e-05
5,511	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	6.1915384e-05
5,745	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	6.1018855e-05
5,959	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	6.0274692e-05
7,097	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	5.704861e-05
7,245	The VADA Architecture for Cost-Effective Data Wrangling	2017	SIGMOD	5.6638209e-05
7,518	Verification of Hierarchical Artifact Systems	2016	PODS	5.6029996e-05
7,884	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.5229059e-05
8,766	Active Views for Electronic Commerce	1999	VLDB	5.3766157e-05
9,178	Verification of Relational Transducers for Electronic Commerce	2000	PODS	5.3077309e-05
12,212	A Provenance Framework for Data-Dependent Process Analysis	2014	VLDB	5.093636e-05
12,351	Querying Schemas With Access Restrictions	2012	VLDB	5.093636e-05
12,551	Complexity and Composition of Synthesized Web Services	2008	PODS	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
34	The Design Of Postgres	1986	SIGMOD	0.00049302774
225	Complexity of Answering Queries Using Materialized Views	1998	PODS	0.00024101949
1,538	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.00010446034
3,461	Inference Rules for Functional and Inclusion Dependencies	1983	PODS	7.3938918e-05
5,270	Semantics and Expressiveness Issues in Active Databases	1995	PODS	6.2908453e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	3,329	A Generalized Model For A Relational Temporal Database	1988	SIGMOD
2	8,766	Active Views for Electronic Commerce	1999	VLDB
3	7,615	Deciding Properties of Transactional Schemas	1986	PODS
4	589	On The Semantics Of The Relational Data Model	1975	SIGMOD
5	3,372	Incorporating Computed Relations in Relational Databases	1981	SIGMOD
6	4,962	Transactions And Integrity Constraints	1985	PODS
7	12,624	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS
8	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
9	1,623	Relational Transducers for Declarative Networking	2011	PODS
10	9,178	Verification of Relational Transducers for Electronic Commerce	2000	PODS