A.P.J.M. Siebes, M.H. van der Voort, M.L. Kersten  Home/Search
Context Related
| cwi.nl/ftp/CWIreports/A...CSR9201.ps.Z 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: cwi.nl/static/publicati...CS1992 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Advances in the area of active database management systems require the development of a trigger design theory, which guides the user in the definition off wellbehaving trigger based applications. The development of such a theory requires a formal definition of trigger semantics. This paper describes a framework for such a formalisation of triggers. That is, the parameters of trigger execution and the options for setting them are identified and discussed. Furthermore, the development of a... (Update)
Context of citations to this paper: More
...active behaviour at runtime. For example, 2] uses relational algebra to reason about the safe termination of a set of rules, and both [1] and [35] use operational semantics to analyse nondeterminism in rule bases. However, no previous work has aimed at producing a general...
...specification of rule systems eases comparison of different systems; 3. Important analyses of rule bases depend on their formalization [1, 2]. One of the few published formal descriptions of an active database is the denotational semantics of the Starburst system in [42] But...
Cited by: More
Termination and Confluence of Rule Execution - van der Voort, Siebes (1993) (Correct)
An Annotated Bibliography on Active Databases - Jaeger, Freytag (1995) (Correct)
A Structured Specification of an Active Database System - Campin, Paton, Williams (1995) (Correct)
Active bibliography (related documents): More All
0.3: Schema Integration in Object-Oriented Databases - Thieme, Siebes (1993) (Correct)
0.3: Heraclitus: Elevating Deltas to be First-Class.. - Ghandeharizadeh.. (1995) (Correct)
0.3: The Heraclitus DBPL With Application To Active.. - Zhou, Hull.. (Correct)
Similar documents based on text: More All
0.3: The Goblin database programming language - Kersten, van den Berg, Siebes.. (1994) (Correct)
0.1: An Algebraic Approach to Static Analysis of Active Database Rules - Baralis, Widom (2000) (Correct)
0.1: An Organic Database System - Kersten, Siebes (1999) (Correct)
Related documents from co-citation: More All
4: Rule Management in Object Oriented Databases: A Uniform Approach (context) - Diaz, Paton et al. - 1991
3: Caching and Views in Data Base Systems (context) - Stonebraker, Jhingran et al. - 1990
3: Dimensions of Active Behaviour - Paton, Diaz et al. - 1993
BibTeX entry: (Update)
L. Kersten A. Siebes, M. Van der Voort. Towards a design theory for database triggers. In I. Ramos A.M. Tjoa, editor, Database and Expert Systems Applications (DEXA), pages 338--344. Springer-Verlag, 1992. http://citeseer.ist.psu.edu/445739.html More
@inproceedings{ siebes92towards,
author = "A. P. J. M. Siebes and M. H. Voort and M. L. Kersten",
title = "{Towards a design theory for Database triggers}",
booktitle = "Proceedings of the 3rd International Conference on Database and Expert Systems Applications",
publisher = "Springer",
pages = "338--344",
year = "1992",
url = "citeseer.ist.psu.edu/445739.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1984
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weyland - 1991
182 The hipac project: Combining active databases and timing con.. (context) - Dayal, Blaustein et al. - 1988
170 Deriving production rules for incremental view maintenance - Ceri, Widom - 1991
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
136 Ode as an active database: Constraints and triggers - Gehani, Jagadish - 1991
127 Set-oriented production rules in relational database systems - Widom, Finkelstein - 1990
110 caching and views in database systems (context) - Stonebraker, Jhingran et al. - 1990
87 Rule management in object oriented databases a uniform appro.. (context) - Diaz, Paton et al. - 1991
74 A model for active object oriented database (context) - Beeri, Milo - 1991
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
47 An initial report on the design of ariel: A dbms with an int.. (context) - Hanson - 1989
42 database programming language (context) - Lecluse, Richard - 1989
38 Rules are object too: a knowledge model for an active object.. (context) - Dayal, Buchmann et al. - 1988
35 Language constructs for programming active databases - Hull, Jacobs - 1991
34 Supporting semantic rule by generalized eventtrigger mechani.. (context) - Dittrich, semantics et al. - 1990
33 On maintaining priorities an a production rule system - Agrawal, Cochrane et al. - 1991
30 A theory for rule triggering systems (context) - Zhou, Hsu - 1990
28 Compiling complex database transition triggers (context) - Cohen - 1989
15 The design of the postgres rule system (context) - Stonebraker, Hanson et al. - 1988
15 Deciding whether a production rule is relational computable (context) - Simon, deMaindreville - 1988
12 Conflict resolution of rules assigning values to virtual att.. (context) - Ioannidis, Sellis - 1989
12 Database programming with delayed updates - Jacobs, Hull - 1991
9 Goblin a dbpl designed for advanced database applications (context) - Kersten - 1991
6 Implementation of a compiler for a semantic data model: Expe.. (context) - Nixon, Chung et al. - 1987
5 Sets and constraints in an object-oriented data model (context) - Balsters, de By et al. - 1990
1 Actors a special case of concurrent constraint programming (context) - Kahn, Saraswat - 1990
1 CWI technical report: CS-R (context) - van der Voort, Kersten et al. - 1991
1 CWI technical report (context) - Siebes, van der Voort et al. - 1992
Documents on the same site (http://www.cwi.nl/static/publications/reports/CS-1992.html): More
Animators and Error Reporters for Generated Programming.. - Dinesh, Tip (1992) (Correct)
More Examples in Manifold - Herman, Arbab (1992) (Correct)
Semantics of Manifold: Specification in ASF+SDF and Extension - Rutten, Thiebaux (1992) (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