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: 1143
Venue: PODS
Year: 1998
Pagerank: 0.00014814282
Overall Rank: 989 | 93.13%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 20 of 20 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,374	Relational Transducers for Declarative Networking	2011	PODS	0.0001230835
1,779	E-Services: A Look Behind the Curtain	2003	PODS	0.00010581176
1,928	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.00010061483
3,190	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4113639e-05
3,494	Specification and Verification of Data-driven Web Services	2004	PODS	7.040662e-05
3,829	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.7206878e-05
3,910	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	6.636109e-05
4,010	A Web Odyssey: from Codd to XML	2001	PODS	6.5351699e-05
4,051	Workflow, Transactions and Datalog	1999	PODS	6.4940502e-05
5,364	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5461492e-05
6,133	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	5.1954702e-05
6,638	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	4.9808044e-05
6,915	Verification of Hierarchical Artifact Systems	2016	PODS	4.8925595e-05
7,384	The VADA Architecture for Cost-Effective Data Wrangling	2017	SIGMOD	4.7445719e-05
7,822	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	4.6426494e-05
8,563	Active Views for Electronic Commerce	1999	VLDB	4.4937074e-05
8,833	Verification of Relational Transducers for Electronic Commerce	2000	PODS	4.439447e-05
12,014	A Provenance Framework for Data-Dependent Process Analysis	2014	VLDB	4.1945683e-05
12,155	Querying Schemas With Access Restrictions	2012	VLDB	4.1945683e-05
12,358	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1945683e-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
44	The Design Of Postgres	1986	SIGMOD	0.00071838587
297	Complexity of Answering Queries Using Materialized Views	1998	PODS	0.00028596715
1,122	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.0001385042
1,954	Inference Rules for Functional and Inclusion Dependencies	1983	PODS	9.9639379e-05
4,747	Semantics and Expressiveness Issues in Active Databases	1995	PODS	5.9545121e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,460	A Generalized Model For A Relational Temporal Database	1988	SIGMOD	7.07128e-05
8,563	Active Views for Electronic Commerce	1999	VLDB	4.4937074e-05
7,220	Deciding Properties of Transactional Schemas	1986	PODS	4.7976464e-05
120	On The Semantics Of The Relational Data Model	1975	SIGMOD	0.00045646715
2,239	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	9.2201166e-05
4,640	Transactions And Integrity Constraints	1985	PODS	6.0271345e-05
12,430	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS	4.1945683e-05
6,825	A Transaction Logic for Database Specification	1988	SIGMOD	4.9143895e-05
1,374	Relational Transducers for Declarative Networking	2011	PODS	0.0001230835
8,833	Verification of Relational Transducers for Electronic Commerce	2000	PODS	4.439447e-05