Formal characterizations of active databases: Part II

Chitta Bara, Jorge Lobo, Goce Trajcevski

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

10 Scopus citations


This paper presents a formal framework for specifying active database systems. Declarative characterization of active databases allows additional flexibility in defining an implementation-independent semantics of the active rules. The results extend the active database description language introduced in [5] with additional semantic dimensions. We demonstrate through examples how we can encode the active rules and their operational behavior from different existing systems.

Original languageEnglish (US)
Title of host publicationDeductive and Object-Oriented Databases - 5th International Conference, DOOD 1997, Proceedings
EditorsKotagiri Ramamohanarao, Francois Bry, Raghu Ramakrishnan
PublisherSpringer Verlag
Number of pages18
ISBN (Print)3540637923, 9783540637929
StatePublished - 1997
Event5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997 - Montreux, Switzerland
Duration: Dec 8 1997Dec 12 1997

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


Other5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Formal characterizations of active databases: Part II'. Together they form a unique fingerprint.

Cite this