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.00014800793
Overall Rank: 990 | 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,377	Relational Transducers for Declarative Networking	2011	PODS	0.00012299784
1,777	E-Services: A Look Behind the Curtain	2003	PODS	0.00010571658
1,931	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.0001005178
3,197	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.404293e-05
3,498	Specification and Verification of Data-driven Web Services	2004	PODS	7.0370688e-05
3,832	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.7145204e-05
3,914	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	6.6297199e-05
4,014	A Web Odyssey: from Codd to XML	2001	PODS	6.5300582e-05
4,058	Workflow, Transactions and Datalog	1999	PODS	6.4877988e-05
5,374	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5408029e-05
6,137	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	5.190481e-05
6,638	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	4.9768002e-05
6,917	Verification of Hierarchical Artifact Systems	2016	PODS	4.8878659e-05
7,384	The VADA Architecture for Cost-Effective Data Wrangling	2017	SIGMOD	4.7400209e-05
7,826	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	4.6381971e-05
8,560	Active Views for Electronic Commerce	1999	VLDB	4.4893996e-05
8,833	Verification of Relational Transducers for Electronic Commerce	2000	PODS	4.4352158e-05
12,022	A Provenance Framework for Data-Dependent Process Analysis	2014	VLDB	4.1905499e-05
12,163	Querying Schemas With Access Restrictions	2012	VLDB	4.1905499e-05
12,366	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1905499e-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.00071946446
297	Complexity of Answering Queries Using Materialized Views	1998	PODS	0.00028572729
1,122	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.00013837099
1,960	Inference Rules for Functional and Inclusion Dependencies	1983	PODS	9.9543811e-05
4,744	Semantics and Expressiveness Issues in Active Databases	1995	PODS	5.9487921e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,467	A Generalized Model For A Relational Temporal Database	1988	SIGMOD	7.0643656e-05
8,560	Active Views for Electronic Commerce	1999	VLDB	4.4893996e-05
7,219	Deciding Properties of Transactional Schemas	1986	PODS	4.7930382e-05
120	On The Semantics Of The Relational Data Model	1975	SIGMOD	0.00045634921
2,240	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	9.2161277e-05
4,643	Transactions And Integrity Constraints	1985	PODS	6.0213009e-05
12,439	Expressiveness and Complexity of XML Publishing Transducers	2007	PODS	4.1905499e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
1,377	Relational Transducers for Declarative Networking	2011	PODS	0.00012299784
8,833	Verification of Relational Transducers for Electronic Commerce	2000	PODS	4.4352158e-05