On active deductive databases: The statelog approach

Georg Lausen, Bertram Ludäscher, Wolfgang May

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

Abstract

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.

Original languageEnglish (US)
Title of host publicationTransactions 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
EditorsBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
PublisherSpringer
Pages69-106
Number of pages38
ISBN (Print)3540653058, 9783540653059
DOIs
StatePublished - 1998
Externally publishedYes
EventInternational 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 - Port Jefferson, United States
Duration: Oct 17 1997Oct 17 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1472
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational 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
Country/TerritoryUnited States
CityPort Jefferson
Period10/17/9710/17/97

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'On active deductive databases: The statelog approach'. Together they form a unique fingerprint.

Cite this