Reconciling Active and Deductive Databases by States
We propose a state-oriented extension to Datalog called Statelog which comprises two kinds of rules, passive query rules and active transition rules within a simple, yet flexible logical framework. Statelog programs have deterministic model-theoretic semantics for queries and updates thus reconcilin...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
1995
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2089 http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.50.2089 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.50.2089 2023-05-15T16:01:51+02:00 Reconciling Active and Deductive Databases by States Bertram Ludäscher Ulrich Hamann Georg Lausen The Pennsylvania State University CiteSeerX Archives 1995 application/postscript http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2089 http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2089 http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz text 1995 ftciteseerx 2016-01-08T09:02:24Z We propose a state-oriented extension to Datalog called Statelog which comprises two kinds of rules, passive query rules and active transition rules within a simple, yet flexible logical framework. Statelog programs have deterministic model-theoretic semantics for queries and updates thus reconciling active and deductive databases. Using the Statelog framework we prove that termination of active rules is undecidable in general and introduce the class of \Delta-monotone programs for which termination is guaranteed. This class provides a generalization to previous results for Statelog and is of practical importance as it includes self-triggering recursive rules. Formal results characterizing the expressiveness and complexity are established which carry over to related state-oriented extensions of Datalog. Computing Reviews Classification: H.2.3 [Database Management]: Languages --- data manipulation languages (DML); H.2.4 [Database Management]: Systems --- query processing Additional K. Text DML Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
We propose a state-oriented extension to Datalog called Statelog which comprises two kinds of rules, passive query rules and active transition rules within a simple, yet flexible logical framework. Statelog programs have deterministic model-theoretic semantics for queries and updates thus reconciling active and deductive databases. Using the Statelog framework we prove that termination of active rules is undecidable in general and introduce the class of \Delta-monotone programs for which termination is guaranteed. This class provides a generalization to previous results for Statelog and is of practical importance as it includes self-triggering recursive rules. Formal results characterizing the expressiveness and complexity are established which carry over to related state-oriented extensions of Datalog. Computing Reviews Classification: H.2.3 [Database Management]: Languages --- data manipulation languages (DML); H.2.4 [Database Management]: Systems --- query processing Additional K. |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Bertram Ludäscher Ulrich Hamann Georg Lausen |
spellingShingle |
Bertram Ludäscher Ulrich Hamann Georg Lausen Reconciling Active and Deductive Databases by States |
author_facet |
Bertram Ludäscher Ulrich Hamann Georg Lausen |
author_sort |
Bertram Ludäscher |
title |
Reconciling Active and Deductive Databases by States |
title_short |
Reconciling Active and Deductive Databases by States |
title_full |
Reconciling Active and Deductive Databases by States |
title_fullStr |
Reconciling Active and Deductive Databases by States |
title_full_unstemmed |
Reconciling Active and Deductive Databases by States |
title_sort |
reconciling active and deductive databases by states |
publishDate |
1995 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2089 http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz |
genre |
DML |
genre_facet |
DML |
op_source |
http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2089 http://www.sdsc.edu/~ludaesch/Paper/tr70-95.ps.gz |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766397550350303232 |