Abstract
In this paper, we argue that in an active database system, the optimization of user transactions requires that rule and transaction optimization be considered together as a global problem. We propose a simple, yet general, way to model active database transactions. The execution of a user transaction, called a job, is represented as an external task (the user-submitted commands), and a set of condition and action tasks resulting from the triggering of active rules. The proposed model focuses on two essential aspects. At a first level, it describes the order in which the tasks have to be processed. At a next level, it describes where transaction boundaries occur in a job, and how transactions are synchronized. Several other aspects that define the semantics of an active rule system are intentionally left out of the model. Using this model, we actually show how (i) the processing of Event-Condition-Action rules can be made more efficient by taking advantage of the structure of user transactions, and (ii) the concurrency of user transactions can be improved if we know the kinds of triggers executed by the transactions and the points at which they are executed within a transaction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. P. Eswaran. Specifications, Implementations and Interactions of a Trigger Subsystem in an Integrated Database System. IBM Research Report, RJ 1820, IBM San Jose Research Laboratory, San Jose, California, August 1976.
J. Widom, S. Ceri and U. Dayal. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan-Kaufmann, San Francisco, California 1995.
ISO-ANSI Working Draft: Database Language SQL3. X3H2/94/080, SOU/00, 1994.
E. Simon and A. Kotz-Dittrich. Promises and Realities of Active Database Systems. In Proceedings of the 21st International Conference on Very Large Data Bases, Zurich, Switzerland, September 1995.
M. J. Carey and R. Jauhari, and M. Livny, On Transaction Boundaries in Active Databases: A Performance Perspective. IEEE Transactions on Knowledge and Data Engineering, vol 3, no 3, September 1991.
L. Browston, R. Farrel, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to the rule Based Programming. Addison Wesley, 1985.
J. Widom. Starburst. chapter 4 in [2].
E. Simon and J. Kiernan. The A-RDL System. Chapter 5 in [2].
S. Chakravarthy et al. HiPAC: A Research Project in Active, Time-Constrained Database Management. Technical Report, XAIT-89-02, Xerox Advanced Information Technology, Cambridge, Massachusetts, July 1989.
S. Chakravarthy, E. Anwar, L. Maugis, and D. Mishra. Design of Sentinel: An Object-Oriented DBMS with Event-Based Rules. Information and Software Technology, vol. 36, no. 9, pages 559–568, 1994.
U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Atlantic City, New Jersey, pages 204–214, May 1990.
S. Abiteboul and E. Simon. Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theoretical Computer Science, vol. 78, pages 137–158, 1991.
X. Qian and G. Wiederhold. Incremental Recomputation of Active Relational Expressions. IEEE Transactions on Knowledge and Data Engineering, vol 3, num 3, pages 337–341, September 1991.
Y.-W. Wang and E. N. Hanson. A Performance Comparison of the Rete and TREAT Algorithms for Testing Database Rule Conditions. In Proceedings of the Eighth International Conference on Data Engineering, Tempe, Arizona, pages 88–97, February 1992.
E. N. Hanson. Rule Condition Testing and Action Execution in Ariel. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages. 49–58, San Diego, California, June 1992.
T. Sellis, C.-C. Lin, and L. Raschid. Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 404–412, Chicago, Illinois, June 1988.
D. A. Brant and D. P. Miranker. Index Support for Rule Activation. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 42–48, Washington, D.C., May 1993.
C. L. Forgy. Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence, vol. 19, pages 17–37, 1982.
D.P. Miranker. TREAT: A Better Match Algorithm for AI Production Systems. In Proceedings of the AAAI Conference on Artificial Intelligence, pages 42–47, August 1987.
F. Fabret, E. Simon, and M. Régnier An adaptative algorithm for Incremental Evaluation of Production Rules. In Proceedings of the 21st International Conference on Very Large Data Bases, Dublin,Ireland, August 1993.
F. Fabret and E. Simon. Optimizing Repetitive Computations of Database Triggers Within a Transaction. INRIA Research Report, INRIA Research Center, Rocquencourt, France, num 2533, April 1995.
D. Tromboff, F. Llirbat, and E. Simon. Optimizing Active Database Transactions Using an Extended Muitiversion Concurrency Control Protocol. INRIA Research Report, INRIA Research Center, Rocquencourt, France, num 2519, March 1995.
J. Gray and A. Reuter. Transaction Processing. Morgan Kaufmann, 1993.
D. Shasha, F. Llirbat, E. Simon, and P. Valduriez. Transaction Chopping: Algorithms and Performances Studies. To appear in ACM Transactions on Database Systems, Vol. 20, N.3, September 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 British Computer Society
About this paper
Cite this paper
Llirbat, F., Simon, E. (1996). Optimizing Active Database Transactions: A New Perspective. In: Berndtsson, M., Hansson, J. (eds) Active and Real-Time Database Systems (ARTDB-95). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3080-2_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3080-2_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19983-0
Online ISBN: 978-1-4471-3080-2
eBook Packages: Springer Book Archive