@inproceedings{61b99a2cb3d64481942620fb1995bdc7,
title = "Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases",
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.",
author = "Mutsumi Nakamura and Chitta Baral",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 1st International Conference on Computational Logic, CL 2000 ; Conference date: 24-07-2000 Through 28-07-2000",
year = "2000",
doi = "10.1007/3-540-44957-4_81",
language = "English (US)",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "1210--1224",
editor = "John Lloyd and Veronica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Pereira, {Lu{\'i}s Moniz} and Yehoshua Sagiv and Stuckey, {Peter J.}",
booktitle = "Computational Logic - CL 2000 - 1st International Conference, Proceedings",
}