Abstract
In this paper we take steps towards a systematic design of active features in an active database. We propose having declarative specifications that specify the objective of an active database and formulate the correctness of triggers with respect to such specifications. In the process we distinguish between the notions of ‘invariance’ and ‘maintenance’ and propose four different classes of specification constraints. We also propose three different types of triggers with distinct purposes and show through the analysis of an example from the literature, the correspondence between these trigger types and the specification classes. Finally, we briefly introduce the notion of k-maintenance that is important from the perspective of a reactive (active database) system.
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
P. Atzeni and V. De Antonellis. Relational database theory. The Benjamin/Cummings publishing company, 1993.
C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of International Workshop on Logic in Databases-LID’96 (LNCS 1154), pages 175–195, 1996.
C. Baral, J. Lobo, and G. Trajcevski. Formal characterization of active databases: Part II. In DOOD 97, 1997.
S. Ceri and P. Fraternali. Designing database applications with objects and rules-the IDEA methodology. Addison-Wesley, 1997.
D. Chamberlin. Using the new DB2: IBM’s Object-relational database system. Morgan Kaufmann, 1996.
J. Chomicki and D. Toman. Implementing temporal integrity constraints using an active dbms. IEEE transactions on knowledge and data engineering, 1995.
M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2, 3, 4):301–323, 1993.
N. Paton. Active rules in database systems. Springer-Verlag, 1998.
A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996.
J. Ullman. Principles of Database and Know ledge-base Systems, volume I. Computer Science Press, 1988.
J. Widom and S. Ceri, editors. Active Database Systems-Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.
J. Widom. The Starbust rule system. In J. Widom and S. Ceri, editors, Active Database Systems, pages 87–110. Morgan Kaufmann, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamura, M., Baral, C. (2000). Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_81
Download citation
DOI: https://doi.org/10.1007/3-540-44957-4_81
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67797-0
Online ISBN: 978-3-540-44957-7
eBook Packages: Springer Book Archive