The ramification problem in temporal databases: Concurrent execution

Nikolaos Papadakis, Dimitris Plexousakis, Grigoris Antoniou

Research output: Contribution to journalArticle

Abstract

In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.

LanguageEnglish
Pages287-325
Number of pages39
JournalInternational Journal of Intelligent Systems
Volume25
Issue number4
Early online date8 Mar 2010
DOIs
Publication statusPublished - 23 Apr 2010
Externally publishedYes

Fingerprint

Temporal Databases
Ramification
Concurrent
Reasoning about Actions
Calculus

Cite this

Papadakis, Nikolaos ; Plexousakis, Dimitris ; Antoniou, Grigoris. / The ramification problem in temporal databases : Concurrent execution. In: International Journal of Intelligent Systems. 2010 ; Vol. 25, No. 4. pp. 287-325.
@article{463280b6dc5a426c9a19a4bf5083833f,
title = "The ramification problem in temporal databases: Concurrent execution",
abstract = "In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.",
author = "Nikolaos Papadakis and Dimitris Plexousakis and Grigoris Antoniou",
year = "2010",
month = "4",
day = "23",
doi = "10.1002/int.20408",
language = "English",
volume = "25",
pages = "287--325",
journal = "International Journal of Intelligent Systems",
issn = "0884-8173",
publisher = "John Wiley and Sons Ltd",
number = "4",

}

The ramification problem in temporal databases : Concurrent execution. / Papadakis, Nikolaos; Plexousakis, Dimitris; Antoniou, Grigoris.

In: International Journal of Intelligent Systems, Vol. 25, No. 4, 23.04.2010, p. 287-325.

Research output: Contribution to journalArticle

TY - JOUR

T1 - The ramification problem in temporal databases

T2 - International Journal of Intelligent Systems

AU - Papadakis, Nikolaos

AU - Plexousakis, Dimitris

AU - Antoniou, Grigoris

PY - 2010/4/23

Y1 - 2010/4/23

N2 - In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.

AB - In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.

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

U2 - 10.1002/int.20408

DO - 10.1002/int.20408

M3 - Article

VL - 25

SP - 287

EP - 325

JO - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 0884-8173

IS - 4

ER -