Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha  Home/Search
Context Related
| ucsd.edu/users/via...transudecrs.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/users/vianu/PAP...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Electronic commerce is emerging as one of the major Web-supported applications requiring database support. We introduce and study highlevel 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... (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):
49.5%: 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.5: 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.3: A Distributed Service Composition Protocol for - Dipanjan (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/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/abiteboul98relational.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
725 Temporal and modal logic (context) - Emerson - 1991
502 Concurrency and automata on infinite sequences (context) - Park - 1981
484 A calculus of communicating systems (context) - Milner - 1980
194 Active Database Systems: Triggers and Rules for Advanced Dat.. (context) - Widom, Ceri - 1995
152 The design of Postgres - Stonebraker, Rowe - 1986
135 Complexity of answering queries using materialized views - Abiteboul, Duschka - 1998
82 Operational and algebraic semantics of concurrent processes (context) - Milner - 1991
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
49 Petri nets (context) - Reisig - 1983
35 Complexity results for classes of quantificational formulas (context) - Lewis - 1980
30 The implication problem for functional and inclusion depende.. (context) - Chandra, Vardi - 1985
21 Semantics and expressiveness issues in active databases - Picouet, Vianu - 1998
19 Zum entscheidungsproblem der mathematischen logik (context) - Bernays, Schonfikel - 1928
14 Declarative Workflows that Support Easy Modification and Dyn.. (context) - Hull, Llirbat et al. - 1999
12 Electronic commerce: An overview (context) - Yesha, Adam - 1996
8 Data Engineering Bulletin (context) - on, extended - 1993
5 Evolving databases: An application to electronic commerce - Fordham, Abiteboul et al. - 1997
5 Inference rules for functional and inclusion dependencies (context) - Mitchell - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cse.ucsd.edu/users/vianu/PAPERS/papers.html): More
DTD Inference for Views of XML Data - Papakonstantinou, Vianu (1999) (Correct)
Typechecking for XML Transformers - Milo, Suciu, Vianu (2000) (Correct)
Typechecking XML Views of Relational Databases - Alon, Milo, Neven, Suciu (2001) (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