Formal characterization of active databases

Chitta Baral, Jorge Lobo

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

18 Scopus citations

Abstract

In this paper we take a first step towards characterizing active databases. Declarative characterization of active databases allows additional flexibility in studying the effects of different priority criteria between fireable rules, different actions and event definitions, and also to make claims about effects of transaction and prove them without actually executing them. Our characterization is related but different from similar attempts by Zaniolo in terms of making a clear distinction between actual and hypothetical execution of actions and allowing nondeterminism. We use the 'choice' construct [SZ90] to characterize the non-determinism that arises when several rules can fire at the same time and the preference between them is not specified. We show through examples how our language allows us to express features of different active database systems.

Original languageEnglish (US)
Title of host publicationLogic in Databases - International Workshop, LID 1996, Proceedings
EditorsDino Pedreschi, Carlo Zaniolo
PublisherSpringer Verlag
Pages175-195
Number of pages21
ISBN (Print)3540618147, 9783540618140
DOIs
StatePublished - Jan 1 1996
Externally publishedYes
EventInternational Workshop on Logic in Databases, LID 1996 - San Miniato, Italy
Duration: Jul 1 1996Jul 2 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1154
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Workshop on Logic in Databases, LID 1996
CountryItaly
CitySan Miniato
Period7/1/967/2/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Formal characterization of active databases'. Together they form a unique fingerprint.

Cite this