Philippe Picouet, Victor Vianu  Home/Search
Context Related
| ucsd.edu/users/via...picouetjcss.ps.gz inria.fr/INRIA/Pro...soReport094.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A formal framework is introduced for studying the semantics and expressiveness of active databases. The power of various abstract trigger languages is characterized, and related to several major active database prototypes such as ARDL, HiPAC, Postgres, Starburst, and Sybase. This allows to formally compare the expressiveness of the prototypes. The results provide insight into the programming paradigm of active databases, the interplay of various features, and their impact on expressiveness and... (Update)
Context of citations to this paper: More
.... Indeed, giving a formal semantics to active database behavior presents a challenge even when only simple events are involved [20, 19]. For composite event expressions, this problem becomes even more complex, inasmuch as the issues of temporal databases and active rule...
.... referential actions which are specialized active rules can also be formalized by production rules, e.g. in the style of [AV91, PV95]. However, by axiomatizing referential actions as a logic program P and employing a declarative semantics, the resulting set of...
Cited by: More
Referential Actions as Logical Rules - Ludäscher, May (Correct)
Facilitating Hard Active Database Applications - Warshaw (2001) (Correct)
Application Semantics for Active Monotonic Database Applications - Warshaw, Miranker (2000) (Correct)
Similar documents (at the sentence level):
23.1%: Semantics and Expressiveness Issues in Active Databases.. - Picouet, al. (1995) (Correct)
10.3%: Expressiveness and Complexity of Active Databases - Picouet, Vianu (1997) (Correct)
Active bibliography (related documents): More All
0.6: Databases and Finite-Model Theory - Vianu (1997) (Correct)
0.5: Rule-Based Languages - Vianu (1996) (Correct)
0.4: Architectures and Monitoring Techniques for Active Databases.. - Chakravarthy (1992) (Correct)
Similar documents based on text: More All
0.2: Annotated Bibliography on Active Databases - Jaeger, Freytag (1995) (Correct)
0.2: A Centralized Communication Approach for the Parallel.. - Cheiney, Lifschitz.. (Correct)
0.1: Infinitary Logic and Inductive Definability over Finite.. - Dawar, Lindell (1995) (Correct)
Related documents from co-citation: More All
11: Active Database Systems: Triggers and Rules for Advanced Database Processing (context) - Ceri, Widom - 1996
10: Foundations of databases (context) - Abiteboul, Hull et al. - 1995
7: Active database systems - Dayal, Widom - 1992
BibTeX entry: (Update)
P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Proceedings of the 14th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 126--138, San Jose, California, 1995. http://citeseer.ist.psu.edu/picouet95semantics.html More
@inproceedings{ picouet95semantics,
author = "Phillippe Picouet and Victor Vianu",
title = "Semantics and expressiveness issues in active databases (extended abstract)",
pages = "126--138",
year = "1995",
url = "citeseer.ist.psu.edu/picouet95semantics.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1988
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
379 The complexity of relational query languages (context) - Vardi - 1982
245 Relational queries computable in polynomial time - Immerman - 1986
194 Active Database Systems: Triggers and Rules for Advanced Dat.. (context) - Widom, Ceri - 1995
182 The HiPac project: Combining active databases and timing con.. (context) - Dayal - 1988
170 The architecture of an active database management system (context) - McCarthy, Dayal - 1989
170 Deriving production rules for incremental view maintenance - Ceri, Widom - 1991
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
127 Set-oriented production rules in relational database systems - Widom, Finkelstein - 1990
124 Datalog extensions for database queries and updates (context) - Abiteboul, Vianu - 1991
114 Generic computation and its complexity (context) - Abiteboul, Vianu - 1991
110 caching and views in data base systems (context) - Stonebraker, Jhingran et al. - 1990
90 Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1992
88 Elements of relational database theory (context) - Kanellakis - 1991
74 A model for active object oriented databases (context) - Beeri, Milo - 1991
66 Describing graphs: a first-order approach to graph cannoniza.. - Immerman, Lander - 1990
51 An overview of production rules in database systems - Hanson, Widom - 1992
47 An initial report on the design of ariel: a dbms with an int.. (context) - Hanson - 1989
47 Integrating object-oriented data modeling with a rule-based .. (context) - Cacace, Ceri et al. - 1990
44 Procedural languages for database queries and updates (context) - Abiteboul, Vianu - 1990
43 Computing with first-order logic - Abiteboul, Vianu - 1995
42 infinitary logic in finite-model theory (context) - Kolaitis, Vardi et al. - 1992
39 An Execution Model for Active Data Base Management Systems (context) - Hsu, Ladin et al. - 1988
39 Characterizations of Pushdown Machines in Terms of TimeBound.. (context) - Cook - 1971
39 The integration of rule systems and database systems (context) - Stonebraker - 1992
38 Implementing high level active rules on top of a relational .. (context) - Simon, Kiernan et al. - 1992
36 The Format model: A theory of database organization (context) - Hull, Yap - 1984
35 Language constructs for programming active databases - Hull, Jacobs - 1991
35 The Expressive Power of Stratified Logic Programs (context) - Kolaitis - 1991
34 Active databases as a paradigm for enhanced computing enviro.. (context) - Morgenstern - 1983
32 Programming primitives for database languages (context) - Chandra - 1981
30 Incremental evaluation of datalog queries (context) - Dong, Topor - 1992
25 Hipac: a research project in active time-constrained databas.. (context) - Chakravarthy, Blaustein et al. - 1989
14 Deduction in the Starburst production rule system (context) - Widom - 1991
13 Explicit control of logic programs through rule algebra (context) - Imielinski, Naqvi - 1988
11 Programming by specification and annotation (context) - Cohen - 1986
11 Transact-sql user's guide (context) - Inc
6 Enforcing inclusion dependencies and referential integrity (context) - Casanova, Tucherman et al. - 1988
6 A rule manager for relational database systems (context) - Stonebreaker - 1986
2 the composition and decomposition of datalog program mapping.. (context) - Dong - 1988
2 State Analysis Techniques for Predicting the Behavior of Act.. (context) - Aiken, Widom et al. - 1995
1 emes de triggers. PhD thesis, Ecole Nationale Sup (context) - Picouet, et et al.
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