Compile-Time and Runtime Analysis of Active Behaviors.

@article{DBLP:journals/tkde/BaralisCP98,
  author    = {Elena Baralis and
               Stefano Ceri and
               Stefano Paraboschi},
  title     = {Compile-Time and Runtime Analysis of Active Behaviors},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {3},
  year      = {1998},
  pages     = {353-370},
  ee        = {db/journals/tkde/BaralisCP98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1998 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Online Edition: IEEE Computer Society DL

References

[1]

Rakesh Agrawal, Roberta Cochrane, Bruce G. Lindsay: On Maintaining Priorities in a Production Rule System. VLDB 1991: 479-487 BibTeX

[2]

Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom: Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41(1995) BibTeX

[3]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Declarative Specification of Constraint Maintenance. ER 1994: 205-222 BibTeX

[4]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Improving Rule Analysis by Means of Triggering and Activation Graphs. Rules in Database Systems 1995: 165-181 BibTeX

[5]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Run-time Detection of Non-Terminating Active Rule Systems. DOOD 1995: 38-54 BibTeX

[6]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Modularization Techniques for Active Rules Design. ACM Trans. Database Syst. 21(1): 1-29(1996) BibTeX

[7]

Elena Baralis, Stefano Ceri, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 BibTeX

[8]

Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX

[9]

...

[10]

Emmanuel Benazet, Hervé Guehl, Mokrane Bouzeghoub: VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases. Rules in Database Systems 1995: 182-196 BibTeX

[11]

...

[12]

Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi: Design of Active Rule Applications: Issues and Approaches. DOOD 1995: 1-18 BibTeX

[13]

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

[14]

Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Active Rule Management in Chimera. Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 151-176 BibTeX

[15]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX

[16]

Stefano Ceri, Jennifer Widom: Managing Semantic Heterogeneity with Production Rules and Persistent Queues. VLDB 1993: 108-119 BibTeX

[17]

Stefano Ceri, Jennifer Widom: Deriving Incremental Production Rules for Deductive Data. Inf. Syst. 19(6): 467-490(1994) BibTeX

[18]

Sharma Chakravarthy, Z. Tamizuddin, J. Zhou: A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases. Rules in Database Systems 1995: 197-212 BibTeX

[19]

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

[20]

Umeshwar Dayal, Meichun Hsu, Rivka Ladin: Organizing Long-Running Activities with Triggers and Transactions. SIGMOD Conference 1990: 204-214 BibTeX

[21]

Oscar Díaz, Arturo Jaime, Norman W. Paton: DEAR: a DEbugger for Active Rules in an object-oriented context. Rules in Database Systems 1993: 180-193 BibTeX

[22]

Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX

[23]

Eric N. Hanson: Rule Condition Testing and Action Execution in Ariel. SIGMOD Conference 1992: 49-58 BibTeX

[24]

Venky Harinarayan, Anand Rajaraman, Jeffrey D. Ullman: Implementing Data Cubes Efficiently. SIGMOD Conference 1996: 205-216 BibTeX

[25]

...

[26]

H. V. Jagadish, Alberto O. Mendelzon, Inderpal Singh Mumick: Managing Rule Conflicts in an Active Database. PODS 1996: 192-201 BibTeX

[27]

Anton P. Karadimce, Susan Darling Urban: Conditional Term Rewriting as a Formal Basis for Active Database Rules. RIDE-ADS 1994: 156-162 BibTeX

[28]

...

[29]

Alon Y. Levy, Yehoshua Sagiv: Queries Independent of Updates. VLDB 1993: 171-181 BibTeX

[30]

...

[31]

Danilo Montesi, Riccardo Torlone: A Rewriting Technique for the Analysis and the Optimization of Active Databases. ICDT 1995: 238-251 BibTeX

[32]

...

[33]

...

[34]

...

[35]

Hsiu-yen Tsai, Albert Mo Kim Cheng: Termination Analysis of OPS5 Expert Systems. AAAI 1994: 193-198 BibTeX

[36]

Leonie van der Voort, Arno Siebes: Termination and Confluence of Rule Execution. CIKM 1993: 245-255 BibTeX

[37]

Jennifer Widom: Research Issues in Active Database Systems: Report from the Closing Panel at RIDE-ADS '94. SIGMOD Record 23(3): 41-43(1994) BibTeX

[38]

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

[39]

Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX

Referenced by

1. Fabio Casati, Stefano Ceri, Stefano Paraboschi, Giuseppe Pozzi: Specification and Implementation of Exceptions in Workflow Management Systems. ACM Trans. Database Syst. 24(3): 405-451(1999)
2. Sin Yeung Lee, Tok Wang Ling: Unrolling Cycles to Decide Trigger Termination. VLDB 1999: 483-493
3. Sang B. Yoo, K. C. Kim, Sang Kyun Cha: A Middleware Implementation of Active Rules for ODBMS. DASFAA 1999: 347-354
4. Yahia Rabih: Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ADBIS (Short Papers) 1999: 163-170