ACM SIGMOD Anthology TODS dblp.uni-trier.de

Modularization Techniques for Active Rules Design.

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Modularization Techniques for Active Rules Design. ACM Trans. Database Syst. 21(1): 1-29(1996)
@article{DBLP:journals/tods/BaralisCP96,
  author    = {Elena Baralis and
               Stefano Ceri and
               Stefano Paraboschi},
  title     = {Modularization Techniques for Active Rules Design},
  journal   = {ACM Trans. Database Syst.},
  volume    = {21},
  number    = {1},
  year      = {1996},
  pages     = {1-29},
  ee        = {http://doi.acm.org/10.1145/227604.227605, db/journals/tods/BaralisCP96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Active database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded in application programs can be abstracted and assigned to active rules. This trend is sometimes called "knowledge independence" a nice consequence of achieving full knowledge independence is that data management policies can then effectively evolve just by modifying rules instead of application programs. Active rules, however, may be quite complex to understand and manage: rules react to arbitrary event sequences, they trigger each other, and sometimes the outcome of rule processing may depend on the order in which events occur or rules are scheduled. Although reasoning on a large collection of rules is very difficult, the task becomes more manageable when the rules are few. Therefore, we are convinced that modularization, similar to what happens in any software development process, is the key principle for designing active rules; however, this important notion has not been addressed so far. This article introduces a modularization technique for active rules called stratification; it presents a theory of stratification and indicates how stratification can be practically applied. The emphasis of this article is on providing a solution to a very concrete and practical problem; therefore, our approach is illustrated by several examples.

Copyright © 1996 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

[Abstract and Index Terms]
[Full Text in PDF Format, 1935 KB]

References

[Aiken et al. 1992]
Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 BibTeX
[Baralis and Widom 1994]
Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX
[Baralis et al. 1994]
Elena Baralis, Stefano Ceri, Gabriella Monteleone, Stefano Paraboschi: An Intelligent Database System Application: The Design of EMS. ADB 1994: 172-189 BibTeX
[Baralis et al. 1993]
Elena Baralis, Stefano Ceri, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 BibTeX
[Brownston et al. 1995]
...
[Ceri and Widom 1994]
Stefano Ceri, Jennifer Widom: Deriving Incremental Production Rules for Deductive Data. Inf. Syst. 19(6): 467-490(1994) BibTeX
[Ceri and Widom 1990a]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX
[Ceri and Widom 1990b]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 BibTeX
[Ceri et al. 1995]
Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi: Design of Active Rule Applications: Issues and Approaches. DOOD 1995: 1-18 BibTeX
[Ceri et al. 1994a]
...
[Ceri et al. 1994b]
Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994) BibTeX
[Ceri et al. 1990]
Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX
[Daniels et al. 1994]
Dean Daniels, Lip Boon Doo, Alan Downing, Curtis Elsbernd, Gary Hallmark, Sandeep Jain, Bob Jenkins, Peter Lim, Gordon Smith, Benny Souder, Jim Stamos: Oracle's Symmetric Replication Technology and Implications for Application Design. SIGMOD Conference 1994: 467 BibTeX
[Fraternali and Tanca 1995]
Piero Fraternali, Letizia Tanca: A Structured Approach for the Definition of the Semantics of Active Databases. ACM Trans. Database Syst. 20(4): 414-471(1995) BibTeX
[Friesen et al. 1994]
Oris Friesen, Gilles Gauthier-Villars, Alexandre Lefebvre, Laurent Vieille: Applications of Deductive Object-Oriented Databases Using DEL. Workshop on Programming with Logic Databases (Book), ILPS 1993: 1-22 BibTeX
[Gary and Reuter 1993]
Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX
[Harel 1987]
David Harel: Statecharts: A Visual Formulation for Complex Systems. Sci. Comput. Program. 8(3): 231-274(1987) BibTeX
[Hellerstein and Hsu 1991]
...
[Informix 1994]
...
[Karadimce and Urban 1994]
Anton P. Karadimce, Susan Darling Urban: Conditional Term Rewriting as a Formal Basis for Active Database Rules. RIDE-ADS 1994: 156-162 BibTeX
[Karadimce and Urban 1991]
Anton P. Karadimce, Susan Darling Urban: Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules. FMLDO 1991: 77-102 BibTeX
[Lopez 1995]
...
[Monteleone and Baralis 1993]
...
[Oracle 1992]
...
[Paton et al. 1993]
Norman W. Paton, Oscar Díaz, M. Howard Williams, Jack Campin, Andrew Dinn, Arturo Jaime: Dimensions of Active Behaviour. Rules in Database Systems 1993: 40-57 BibTeX
[Rumbaugh et al. 1991]
...
[Sybase 1993]
...
[Tsai and Cheng 1994]
Hsiu-yen Tsai, Albert Mo Kim Cheng: Termination Analysis of OPS5 Expert Systems. AAAI 1994: 193-198 BibTeX
[Ullman 1989-1]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[Ullman 1989-2]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
[van der Voort and Siebes 1993]
Leonie van der Voort, Arno Siebes: Termination and Confluence of Rule Execution. CIKM 1993: 245-255 BibTeX
[Widom and Ceri 1995]
Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
Contents BibTeX
[Zhou and Hsu 1990]
Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 BibTeX

Referenced by

  1. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370(1998)
  2. Piero Fraternali, Stefano Paraboschi: Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution. IEEE Trans. Knowl. Data Eng. 9(1): 173-178(1997)
  3. Dolors Costal, Maria-Ribera Sancho, Antoni Olivé, Miguel Barceló, Pablo Costa, Carme Quer, Anna Roselló: The Cause-Effect Rules of ROSES. ADBIS 1997: 399-405
  4. Stefano Ceri, Raghu Ramakrishnan: Rules in Database Systems. ACM Comput. Surv. 28(1): 109-111(1996)
  5. Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Semantic Workflow Interoperability. EDBT 1996: 443-462
  6. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
    Contents
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:39:19 2008