Abstract
We propose an active-mechanism based approach for the construction of database management systems (DBMS). We conceive a DBMS to be composed out of brokers (which realize subsystems), where a broker is defined by a set of production rules. In this setting, we show how specifications of transaction models can be realized. To that end, we apply a rule-based approach for the transformation of (logical) specification rules into production rules, which in turn describe the behaviour of the transaction management broker.
This is a preview of subscription content, log in via an institution to check access.
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
Carey M, Haas L. Extensible Database Management Systems. ACM SIGMOD Record 19:4, 1990, pp 54–60.
Chrysanthis PK. ACTA, A Framework For Modeling And Reasoning About Extended Transactions. PhD Thesis, Technical Report 91-26, Department of Computer Science, University of Pittsburgh, November 1991.
Unland R, Schlageter G. A Transaction Manager Development Facility For Non Standard Database Systems. In: Elmagarmid AK (ed) Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992, pp 399–466.
Dittrich KR, Geppert A, Goebel V, Nittel S, Scherrer S. KIDS: A Declarative Approach to DBMS Construction. In: Spaccapietra S (ed) Proc. SI-Conf. on Database Research in Switzerland, Lausanne, September 1991, pp 176–185.
Biggerstaff TJ, Richter C. Reusability Framework, Assessment, and Directions. IEEE Software, July 1987, pp 41–49.
Dayal U. Active Database Management Systems. Proc. 3rd Intl. Conf. on Data and Knowledge Bases, Jerusalem, 1988.
Gatziu S, Geppert A, Dittrich KR. Integrating Active Mechanisms into an Object-Oriented Database System. In: Kanellakis PC, Schmidt JW (eds) Proc. 3rd Intl. Workshop on Database Programming Languages (DBPL), Nafplion, Greece, August 1991, Morgan Kaufmann Publishers, pp 399–415.
The Common Object Request Broker: Architecture and Specification. OMG Document 91.12.1, Revision 1.1, Object Management Group and X/Open, 1992.
Chrysanthis PK, Ramamritham K. ACTA: The Saga Continues. In: Elmagarmid AK (ed.) Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992, pp 346–397.
Pu C, Kaiser GE, Hutchinson N. Split-Transaction for Open-Ended Activities. Proc. Intl. Conf. on Very Large Data Bases, 1988, pp 26–37.
Bernstein PA, Hadzilacos V, Goodman N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
Buchmann A, Oezsu MT, Hornick M, Georgakopoulos D, Manola FA. A Transaction Model For Active Distributed Object Systems. In: Elmagarmid AK (ed.) Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992, pp 123–158.
Attie PC, Singh MP, Sheth A, Rusinkiewicz M. Specifying and Enforcing Intertask Dependencies. Proc. Intl. Conf. on Very Large Data Bases, August 1993.
Buchmann AP, Branding H, Kudrass T, Zimmermann J. REACH: A REal-Time, ACtive and Heterogeneous Mediator System. Bulletin of the IEEE TC on Data Engineering 15:1-4, 1992, pp 44–47.
Garcia-Molina H, Salem K. Sagas. Proc. Intl. ACM-SIGMOD Conf. on Management of Data, 1987, pp 249–259.
Ceri S, Widom J. Deriving Production Rules for Constraint Maintenance. Proc. Intl. Conf. on Very Large Data Bases, 1990, pp 566–577.
Eswaran KP, Gray JN, Lorie RA, Traiger IL. The Notions of Consistency and Predicate Locks in a Database System. Communications of the ACM 19:11, 1976, pp 624–633.
Kotz AM, Dittrich KR, Mülle JA. Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. Proc. Intl. Conf. on Extending Database Technology, Venice, 1988, pp 76–91.
Dayal U, Hsu M, Ladin R. Organizing Long-Running Activities with Triggers and Transactions. Proc. Intl. ACM-Conf. on Management of Data, 1990, pp 204–214.
Branding H, Buchmann A, Kudrass T, Zimmermann J. Rules in an Open System: The REACH Rule System. First Intl. Workshop on Rules in Database Systems, Edinburgh, August/September 1993.
Scherrer S, Dittrich KR. Towards an Integrity Model Specification Language. Technical Report 93.13, Institut für Informatik, Universität Zürich, April 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Geppert, A., Dittrich, K.R. (1994). Rule-Based Implementation of Transaction Model Specifications. In: Paton, N.W., Williams, M.H. (eds) Rules in Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3225-7_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3225-7_8
Publisher Name: Springer, London
Print ISBN: 978-3-540-19846-8
Online ISBN: 978-1-4471-3225-7
eBook Packages: Springer Book Archive