Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha  Home/Search
Context Related
Links: ACM DBLP | ucsd.edu/users/vianu/PAPER...ec98.ps.gz rocq.inria.fr/~abitebou/p...commerce.ps inria.fr/INRIA/Pro...soReport151.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsd.edu/~vianu/ (more) From: rocq.inria.fr/~abiteb...bup.INDEX (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Electronic commerce is emerging as one of the major Websupported 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 ... (Update)
Cited by: More
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
Semantic Email: Theory and Applications - McDowell, Etzioni, Halevy (2004) (Correct)
Semantic Email - McDowell, Etzioni, Halevy, Levy (2004) (Correct)
Similar documents (at the sentence level):
77.4%: Relational Transducers for Electronic Commerce - Abiteboul, Vianu, Fordham, Yesha (1998) (Correct)
Active bibliography (related documents): More All
0.3: Verification of Relational Transducers for Electronic Commerce - Spielmann (2000) (Correct)
0.2: Active Views for Electronic Commerce - Abiteboul, Cluet, Milo, Vianu (1998) (Correct)
0.2: Implication and Referential Constraints: A New Formal Reasoning - Zhang, Ozsoyoglu (1994) (Correct)
Similar documents based on text: More All
0.6: Evolving Databases: An Application to Electronic Commerce - Bradley Fordham (1997) (Correct)
0.4: Infinitary Logic and Inductive Definability over Finite.. - Dawar, Lindell (1995) (Correct)
0.4: XML repository and Active Views Demonstration - Mamou, Souza, Abiteboul.. (1999) (Correct)
Related documents from co-citation: More All
5: ActiveRules for XML: A New Paradigm for E-Services (context) - Bonifati, Ceri et al. - 2000
5: Active database systems - Dayal, Widom - 1992
5: Views in a large scale XML repository - Cluet, Veltri et al. - 2001
BibTeX entry: (Update)
S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In ACM Symposium on Principles of Database Systems, pages 179--187, Seattle, Washington, June 1998. http://citeseer.ist.psu.edu/article/abiteboul98relational.html More
@inproceedings{ abiteboul98relational,
author = "Serge Abiteboul and Victor Vianu and Brad Fordham and Yelena Yesha",
title = "Relational Transducers for Electronic Commerce",
pages = "179--187",
year = "1998",
url = "citeseer.ist.psu.edu/article/abiteboul98relational.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995 ACM DBLP
725 Temporal and modal logic (context) - Emerson - 1991 ACM DBLP
502 Concurrency and automata on infinite sequences (context) - Park - 1981 ACM DBLP
484 A calculus of communicating systems (context) - Milner - 1980
194 Active Database Systems: Triggers and Rules for Advanced Dat.. (context) - Widom, Ceri - 1995 DBLP
152 The design of Postgres - Stonebraker, Rowe - 1986 ACM DBLP
135 Complexity of answering queries using materialized views - Abiteboul, Duschka - 1997 ACM DBLP
82 Operational and algebraic semantics of concurrent processes (context) - Milner - 1991 ACM DBLP
78 a problem in formal logic (context) - Ramsey - 1930
70 The Classical Decision Problem (context) - Borger, Gradel et al. - 1997
50 Bottom-up beats top-down for datalog (context) - Ullman - 1989 ACM DBLP
49 Petri nets (context) - Reisig - 1983 ACM DBLP
35 Complexity results for classes of quantificational formulas (context) - Lewis - 1980 DBLP
30 The implication problem for functional and inclusion depende.. (context) - Chandra, Vardi - 1985 DBLP
21 Semantics and expressiveness issues in active databases - Picouet, Vianu - 1997 ACM DBLP
19 Zum entscheidungsproblem der mathematischen logik (context) - Bernays, Schonfikel - 1928
12 Electronic commerce: An overview (context) - Yesha, Adam - 1996 DBLP
8 Data Engineering Bulletin (context) - on, extended - 1993
5 Evolving databases: An application to electronic commerce - Fordham, Abiteboul et al. - 1997 DBLP
5 Inference rules for functional and inclusion dependencies (context) - Mitchell - 1983 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cse.ucsd.edu/~vianu/): More
Databases and Finite-Model Theory - Vianu (1997) (Correct)
A Probabilistic View of Datalog Parallelization - Lifschitz, Vianu (1993) (Correct)
Computing with Infinitary Logic - Abiteboul, Vardi (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC