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 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages1210-1224
Number of pages15
Volume1861 LNAI
StatePublished - 2000
Event1st International Conference on Computational Logic, CL 2000 - London, United Kingdom
Duration: Jul 24 2000Jul 28 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1861 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Invariance
Trigger
Maintenance
Specification
Specifications
Database Systems
Correctness
Correspondence
Distinct
Class

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Nakamura, M., & Baral, C. (2000). Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1861 LNAI, pp. 1210-1224). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1861 LNAI).

Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. / Nakamura, Mutsumi; Baral, Chitta.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1861 LNAI 2000. p. 1210-1224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1861 LNAI).

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

Nakamura, M & Baral, C 2000, Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1861 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1861 LNAI, pp. 1210-1224, 1st International Conference on Computational Logic, CL 2000, London, United Kingdom, 7/24/00.
Nakamura M, Baral C. Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1861 LNAI. 2000. p. 1210-1224. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Nakamura, Mutsumi ; Baral, Chitta. / Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1861 LNAI 2000. pp. 1210-1224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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 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.",
author = "Mutsumi Nakamura and Chitta Baral",
year = "2000",
language = "English (US)",
isbn = "3540677976",
volume = "1861 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "1210--1224",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

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

AU - Nakamura, Mutsumi

AU - Baral, Chitta

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=23044519826&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=23044519826&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:23044519826

SN - 3540677976

SN - 9783540677970

VL - 1861 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1210

EP - 1224

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -