Formal characterization of active databases

Chitta Baral, Jorge Lobo

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

18 Scopus citations


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
Number of pages21
ISBN (Print)3540618147, 9783540618140
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)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherInternational Workshop on Logic in Databases, LID 1996
CitySan Miniato

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


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

Cite this