On Isolation, Concurrency, and the Venus Rule Language.

@inproceedings{DBLP:conf/cikm/CorrelM95,
  author    = {Stephen Correl and
               Daniel P. Miranker},
  title     = {On Isolation, Concurrency, and the Venus Rule Language},
  booktitle = {CIKM '95, Proceedings of the 1995 International Conference on
               Information and Knowledge Management, November 28 - December
               2, 1995, Baltimore, Maryland, USA},
  publisher = {ACM},
  year      = {1995},
  pages     = {281-289},
  ee        = {db/conf/cikm/CorrelM95.html, http://doi.acm.org/10.1145/221270.221591},
  crossref  = {DBLP:conf/cikm/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper describes a practical means of allowing rule-based apphcations to execute against standard relational databases concurrently with other database applications. The approach is intended for the "hard expert-system" model. We claim in this model programs do not change frequently. Consequently, we are able to describe a method that comprises static program analysis and compile-time transformation.

We describe simple transactional extensions to Venus (VenusDB) a C++ based rule language that serves as the basis of our research in active database systems. Critical aspects of the approach comprise the following. Venus is unique in that it includes a declarative technique, both syntactic and semantic, for developing modular, hierarchical rule-based programs. The hierarchical composition of Venus modules is ideally suited to nested transaction models. Coupled with fixed point semantics, VenusDB provides a clean syntactic way for the programmer to control the isolation requirements of his application. A means of compiling the declared isolation policy into a correctly scoped locking behavior is described, thus optimizing the duration and extent of an application's locks.

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.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-4 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition

References

[1]

Don S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise: GENESIS: An Extensible Database Management System. IEEE Trans. Software Eng. 14(11): 1711-1730(1988) BibTeX

[2]

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

[3]

David A. Brant, Timothy Grose, Bernie J. Lofaso, Daniel P. Miranker: Effects of Database Size on Rule System Performance: Five Case Studies. VLDB 1991: 287-296 BibTeX

[4]

David A. Brant, Daniel P. Miranker: Index Support for Rule Activation. SIGMOD Conference 1993: 42-48 BibTeX

[5]

...

[6]

...

[7]

...

[8]

David Gadbois, Daniel P. Miranker: Discovering Procedural Executions of Rule-Based Programs. AAAI 1994: 459-464 BibTeX

[9]

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

[10]

...

[11]

...

[12]

...

[13]

Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX

[14]

Daniel P. Miranker, David A. Brant: An Algorithmic Basis for Integrating Production Systems and Large Databases. ICDE 1990: 353-360 BibTeX

[15]

Daniel P. Miranker, David A. Brant, Bernie J. Lofaso, David Gadbois: On the Performance of Lazy Matching in Production Systems. AAAI 1990: 685-692 BibTeX

[16]

Daniel P. Miranker, Bernie J. Lofaso: The Organization and Performance fo a TREAT-Based Production System Compiler. IEEE Trans. Knowl. Data Eng. 3(1): 3-10(1991) BibTeX

[17]

...

[18]

...

[19]

...

[20]

...

[21]

Eric Simon, Jerry Kiernan, Christophe de Maindreville: Implementing High Level Active Rules on Top of a Relational DBMS. VLDB 1992: 315-326 BibTeX

[22]

Michael Stonebraker: The Integration of Rule Systems and Database Systems. IEEE Trans. Knowl. Data Eng. 4(5): 415-423(1992) BibTeX

[23]

...

[24]

Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay: Implementing Set-Oriented Production Rules as an Extension to Starburst. VLDB 1991: 275-285 BibTeX

[25]

...