ACM SIGMOD Anthology TODS dblp.uni-trier.de

Static Analysis Techniques for Predicting the Behavior of Active Database Rules.

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)
@article{DBLP:journals/tods/AikenHW95,
  author    = {Alexander Aiken and
               Joseph M. Hellerstein and
               Jennifer Widom},
  title     = {Static Analysis Techniques for Predicting the Behavior of Active
               Database Rules},
  journal   = {ACM Trans. Database Syst.},
  volume    = {20},
  number    = {1},
  year      = {1995},
  pages     = {3-41},
  ee        = {http://doi.acm.org/10.1145/202106.202107, db/journals/tods/AikenHW95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This article gives methods for statically analyzing sets of active database rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique final database state, and (3) guaranteed to produce a unique stream of observable actions. If the analysis determines that one of these properties is not guaranteed, it isolates the rules responsible for the problem and determines criteria that, if satisfied, guarantee the property. The analysis methods are presented in the context of the Starburst Rule System.

Copyright © 1995 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.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

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

References

[Agrawal et al. 1991]
Rakesh Agrawal, Roberta Cochrane, Bruce G. Lindsay: On Maintaining Priorities in a Production Rule System. VLDB 1991: 479-487 BibTeX
[Anwar et al. 1993]
Eman Anwar, L. Maugis, Sharma Chakravarthy: A New Perspective on Rule Support for Object-Oriented Databases. SIGMOD Conference 1993: 99-108 BibTeX
[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
[Brownston et al. 1985]
...
[Baralis and Widom 1994]
Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX
[Chakravarthy et al. 1989]
...
[Chakravarthy and Lomet 1992]
...
[Ceri and Manthey 1993]
...
[Ceri and Widom 1990]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX
[Ceri and Widom 1991]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 BibTeX
[Dayal et al. 1994]
...
[Dayal and Widom 1992]
...
[Gehani and Jagadish 1991]
Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336 BibTeX
[Haas et al. 1990]
Laura M. Haas, Walter Chang, Guy M. Lohman, John McPherson, Paul F. Wilms, George Lapis, Bruce G. Lindsay, Hamid Pirahesh, Michael J. Carey, Eugene J. Shekita: Starburst Mid-Flight: As the Dust Clears. IEEE Trans. Knowl. Data Eng. 2(1): 143-160(1990) BibTeX
[Hanson 1992]
Eric N. Hanson: Rule Condition Testing and Action Execution in Ariel. SIGMOD Conference 1992: 49-58 BibTeX
[Hellerstein and Hsu 1991]
...
[Huet 1980]
Gérard P. Huet: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. J. ACM 27(4): 797-821(1980) BibTeX
[Hanson and Widom 1993]
...
[Krishnamurthy et al. 1988]
Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli: A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). SIGMOD Conference 1988: 154-163 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
[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
[Raschid 1990]
Louiqa Raschid: Maintaining Consistency in a Stratified Production System Program. AAAI 1990: 284-289 BibTeX
[Stonebraker et al. 1990]
Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 BibTeX
[Simon et al. 1992]
Eric Simon, Jerry Kiernan, Christophe de Maindreville: Implementing High Level Active Rules on Top of a Relational DBMS. VLDB 1992: 315-326 BibTeX
[Sagiv and Vardi 1989]
Yehoshua Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171 BibTeX
[Widom et al. 1991]
Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay: Implementing Set-Oriented Production Rules as an Extension to Starburst. VLDB 1991: 275-285 BibTeX
[Widom and Finkelstein 1990]
Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX
[Widom 1992]
Jennifer Widom: The Starburst Rule System: Language Design, Implementation, and Applications. IEEE Data Eng. Bull. 15(1-4): 15-18(1992) BibTeX
[Zhou and Hsu 1990]
Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 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. Yahia Rabih: Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ADBIS (Short Papers) 1999: 163-170
  3. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370(1998)
  4. Philippe Picouet, Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997: 155-172
  5. Nicole Bidoit, Sofian Maabout: A Model Theoretic Approach to Update Rule Programs. ICDT 1997: 173-187
  6. Martin Steeg: The Conceptual Database Design Optimizer CoDO - Concepts, Implementation, Application. ER 1996: 105-120
  7. Ian S. Thomas, Andrew C. Jones: Extending the Gemstone Smalltalk Interface Debugger to cope with Active Database Components. ADBIS 1996: 183-191
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:17 2008