Relational Transducers for Electronic Commerce
Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha
Full Paper (PDF)

Abstract
Electronic commerce is emerging as one of the major Web-supported applications requiring database support. We introduce and study high-level declarative specifications of business models, using an approach in the spirit of active databases. More precisely, business models are specified as relational transducers that map sequences of input relations into sequences of output relations. The semantically meaningful trace of an input-output exchange is kept as a sequence of log relations. We consider problems motivated by electronic commerce applications, such as log validation, verifying temporal properties of transducers, and comparing two relational transducers. Positive results are obtained for a restricted class of relational transducers called Spocus transducers (for semi-positive outputs and cumulative state). We argue that despite the restrictions, these capture a wide range of practically significant business models.

References

References, where available, link to the DBLP on the World Wide Web.

[AD97]
...
[AHV95]
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents
[BGG97]
...
[BS28]
...
[CV85]
Ashok K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677(1985)
[Eme91]
...
[FAY97]
Bradley S. Fordham, Serge Abiteboul, Yelena Yesha: Evolving Databases: An Application to Electronic Commerce. IDEAS 1997: 191-200
[Gur94]
...
[Lew80]
Harry R. Lewis: Complexity Results for Classes of Quantificational Formulas. JCSS 21(3): 317-353(1980)
[Mil80]
...
[Mil91]
...
[Mit83]
John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69
[Par81]
...
[PV97]
...
[Ram30]
...
[Rei83]
...
[SR86]
Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355
[Ull89]
Jeffrey D. Ullman: Bottom-Up Beats Top-Down for Datalog. PODS 1989: 140-149
[WC95]
...
[work93]
...
[Ya96]
...
BIBTEX

@inproceedings{DBLP:conf/pods/AbiteboulVFY98,
author = {Serge Abiteboul and
Victor Vianu and
Bradley S. Fordham and
Yelena Yesha},
title = {Relational Transducers for Electronic Commerce},
booktitle = {Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington},
publisher = {ACM Press},
year = {1998},
isbn = {0-89791-966-3},
pages = {179-187},
crossref = {DBLP:conf/pods/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}


DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).