@inproceedings{a8d519240af046b4a392b2bb96061c1d,
title = "Formal characterization of active databases",
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.",
author = "Chitta Baral and Jorge Lobo",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; International Workshop on Logic in Databases, LID 1996 ; Conference date: 01-07-1996 Through 02-07-1996",
year = "1996",
doi = "10.1007/BFb0031741",
language = "English (US)",
isbn = "3540618147",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "175--195",
editor = "Dino Pedreschi and Carlo Zaniolo",
booktitle = "Logic in Databases - International Workshop, LID 1996, Proceedings",
}