Formal characterization of active databases

Chitta Baral, Jorge Lobo

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

18 Citations (Scopus)

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages175-195
Number of pages21
Volume1154
ISBN (Print)3540618147, 9783540618140
DOIs
StatePublished - 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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Nondeterminism
Database Systems
Transactions
Express
Flexibility
Language

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Baral, C., & Lobo, J. (1996). Formal characterization of active databases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1154, pp. 175-195). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1154). Springer Verlag. https://doi.org/10.1007/BFb0031741

Formal characterization of active databases. / Baral, Chitta; Lobo, Jorge.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1154 Springer Verlag, 1996. p. 175-195 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1154).

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

Baral, C & Lobo, J 1996, Formal characterization of active databases. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1154, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1154, Springer Verlag, pp. 175-195, International Workshop on Logic in Databases, LID 1996, San Miniato, Italy, 7/1/96. https://doi.org/10.1007/BFb0031741
Baral C, Lobo J. Formal characterization of active databases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1154. Springer Verlag. 1996. p. 175-195. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0031741
Baral, Chitta ; Lobo, Jorge. / Formal characterization of active databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1154 Springer Verlag, 1996. pp. 175-195 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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",
year = "1996",
doi = "10.1007/BFb0031741",
language = "English (US)",
isbn = "3540618147",
volume = "1154",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "175--195",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Formal characterization of active databases

AU - Baral, Chitta

AU - Lobo, Jorge

PY - 1996

Y1 - 1996

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

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

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

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

U2 - 10.1007/BFb0031741

DO - 10.1007/BFb0031741

M3 - Conference contribution

AN - SCOPUS:84941163323

SN - 3540618147

SN - 9783540618140

VL - 1154

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

SP - 175

EP - 195

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

PB - Springer Verlag

ER -