TY - GEN
T1 - On active deductive databases
T2 - International Seminar on Logic Databases and the Meaning of Change, 1996 and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997
AU - Lausen, Georg
AU - Ludäscher, Bertram
AU - May, Wolfgang
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1998.
PY - 1998
Y1 - 1998
N2 - After briefly reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal approaches to active rules. Subsequently, we present our own state-oriented logical approach to active rules which combines the declarative semantics of deductive rules with the possibility to define updates in the style of production rules and active rules. The resulting language Statelog is surprisingly simple, yet captures many features of active rules including composite event detection and different coupling modes. Thus, it can be used for the formal analysis of rule properties like termination and expressive power. Finally, we show how nested transactions can be modeled in Statelog, both from the operational and the model-theoretic perspective.
AB - After briefly reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal approaches to active rules. Subsequently, we present our own state-oriented logical approach to active rules which combines the declarative semantics of deductive rules with the possibility to define updates in the style of production rules and active rules. The resulting language Statelog is surprisingly simple, yet captures many features of active rules including composite event detection and different coupling modes. Thus, it can be used for the formal analysis of rule properties like termination and expressive power. Finally, we show how nested transactions can be modeled in Statelog, both from the operational and the model-theoretic perspective.
UR - http://www.scopus.com/inward/record.url?scp=84949192582&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949192582&partnerID=8YFLogxK
U2 - 10.1007/bfb0055496
DO - 10.1007/bfb0055496
M3 - Conference contribution
AN - SCOPUS:84949192582
SN - 3540653058
SN - 9783540653059
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 69
EP - 106
BT - Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997, Invited Surveys and Selected Papers
A2 - Freitag, Burkhard
A2 - Decker, Hendrik
A2 - Kifer, Michael
A2 - Voronkov, Andrei
PB - Springer
Y2 - 17 October 1997 through 17 October 1997
ER -