Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases

Mutsumi Nakamura, Chitta Baral

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

In this paper we take steps towards a systematic design of active features in an active database. We propose having declarative spec- ifications that specify the objective of an active database and formulate the correctness of triggers with respect to such specifications. In the pro- cess 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 correspon- dence 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.

Original languageEnglish (US)
Title of host publicationComputational Logic - CL 2000 - 1st International Conference, Proceedings
EditorsJohn Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
PublisherSpringer Verlag
Pages1210-1224
Number of pages15
ISBN (Electronic)3540677976, 9783540677970
DOIs
StatePublished - 2000
Event1st International Conference on Computational Logic, CL 2000 - London, United Kingdom
Duration: Jul 24 2000Jul 28 2000

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume1861
ISSN (Print)0302-9743

Other

Other1st International Conference on Computational Logic, CL 2000
CountryUnited Kingdom
CityLondon
Period7/24/007/28/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases'. Together they form a unique fingerprint.

  • Cite this

    Nakamura, M., & Baral, C. (2000). Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, & P. J. Stuckey (Eds.), Computational Logic - CL 2000 - 1st International Conference, Proceedings (pp. 1210-1224). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 1861). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_81