Formal Characterization of Active Databases
作者： Chitta Baral , Jorge Lobo
DOI: 10.1007/BFB0031741
关键词:
摘要: In this paper we take a first step towards characterizing active databases. Declarative characterization of databases allows additional flexibility in studying the effects different priority criteria between fireable rules, actions and event definitions, also to make claims about transaction prove them without actually executing them. Our is related but from similar attempts by Zaniolo terms making clear distinction actual hypothetical execution allowing non-determinism. We use ‘choice’ construct [SZ90] characterize non-determinism that arises when several rules can fire at same time preference not specified. show through examples how our language us express features database systems.
springer.com
elsevier.com
sci-hub.se 参考文章(22)
Jerry Kiernan, Eric Simon, The A-RDL System Active Database Systems: Triggers and Rules For Advanced Database Processing. pp. 111- 149 ,(1996)
Jennifer Widom, The Starburst Rule System Active Database Systems: Triggers and Rules For Advanced Database Processing. pp. 87- 109 ,(1996)
Eric N. Hanson, The Ariel Project Active Database Systems: Triggers and Rules For Advanced Database Processing. pp. 63- 86 ,(1996)
Piero Fraternali, Stefano Paraboschi, Stefano Ceri, Letizia Tanca, Active Rule Management in Chimera Active Database Systems: Triggers and Rules For Advanced Database Processing. pp. 151- 176 ,(1996)
Piero Fraternali, Letizia Tanca, Danilo Montesi, Active Database Semantics. australasian database conference. pp. 195- 212 ,(1994)
Alejandro P. Buchmann, Umeshwar Dayal, Sharma Chakravarthy, The HiPAC Project Active Database Systems: Triggers and Rules For Advanced Database Processing. pp. 177- 206 ,(1996)
Sanjay Manchanda, David Scott Warren, A logic-based language for database updates Foundations of deductive databases and logic programming. pp. 363- 394 ,(1988) , 10.1016/B978-0-934613-40-8.50014-2
G. Neelakantan Kartha, Vladimir Lifschitz, Actions with Indirect Effects (Preliminary Report) principles of knowledge representation and reasoning. pp. 341- 350 ,(1994) , 10.1016/B978-1-4832-1452-8.50127-5
Carlo Zaniolo, Active Database Rules with Transaction-Conscious Stable-Model Semantics international conference on deductive and object oriented databases. pp. 55- 72 ,(1995) , 10.1007/3-540-60608-4_34
Chitta Baral, Reasoning about actions: non-deterministic effects, constraints, and qualification international joint conference on artificial intelligence. pp. 2017- 2023 ,(1995)