The Ramification Problem in Temporal Databases: A Solution Implemented in SQL

Nikos Papadakis; Dimitris Plexousakis; Grigoris Antoniou; Manolis Daskalakis; Yannis Christodoulou

doi:10.1007/978-3-540-68123-6_41

The Ramification Problem in Temporal Databases: A Solution Implemented in SQL

Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem.

Original language	English
Title of host publication	Foundations of Intelligent Systems
Subtitle of host publication	17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
Editors	Aijun An, Stan Matwin, Zbigniew W. Ras, Dominik Slezak
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	381-388
Number of pages	8
Volume	LNCS/LNAI 4994
Edition	1st
ISBN (Electronic)	9783540681236
ISBN (Print)	3540681221, 9783540681229
DOIs	https://doi.org/10.1007/978-3-540-68123-6_41
Publication status	Published - 8 May 2008
Externally published	Yes
Event	17th International Symposium on Methodologies for Intelligent Systems - Toronto, Canada Duration: 20 May 2008 → 23 May 2008 Conference number: 17

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag
Volume	4994 LNCS/LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Symposium on Methodologies for Intelligent Systems
Abbreviated title	ISMIS 2008
Country/Territory	Canada
City	Toronto
Period	20/05/08 → 23/05/08

Access to Document

10.1007/978-3-540-68123-6_41Licence: Unspecified

Cite this

Papadakis, N., Plexousakis, D., Antoniou, G., Daskalakis, M., & Christodoulou, Y. (2008). The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. In A. An, S. Matwin, Z. W. Ras, & D. Slezak (Eds.), Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings (1st ed., Vol. LNCS/LNAI 4994, pp. 381-388). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4994 LNCS/LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-68123-6_41

Papadakis, Nikos ; Plexousakis, Dimitris ; Antoniou, Grigoris et al. / The Ramification Problem in Temporal Databases : A Solution Implemented in SQL. Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings. editor / Aijun An ; Stan Matwin ; Zbigniew W. Ras ; Dominik Slezak. Vol. LNCS/LNAI 4994 1st. ed. Berlin : Springer Verlag, 2008. pp. 381-388 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c107ef7887ee40a0819a385e1041d02a,

title = "The Ramification Problem in Temporal Databases: A Solution Implemented in SQL",

abstract = "In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem.",

keywords = "Differentiation (calculus), Problem solving, Database systems",

author = "Nikos Papadakis and Dimitris Plexousakis and Grigoris Antoniou and Manolis Daskalakis and Yannis Christodoulou",

note = "Funding Information: Acknowledgement. The author would like to acknowledge the affiliation and funding resources for this research from Sukkur Institute of Business Administration, Sukkur.; 17th International Symposium on Methodologies for Intelligent Systems, ISMIS 2008 ; Conference date: 20-05-2008 Through 23-05-2008",

year = "2008",

month = may,

day = "8",

doi = "10.1007/978-3-540-68123-6_41",

language = "English",

isbn = "3540681221",

volume = "LNCS/LNAI 4994",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "381--388",

editor = "Aijun An and Stan Matwin and Ras, {Zbigniew W.} and Dominik Slezak",

booktitle = "Foundations of Intelligent Systems",

address = "Germany",

edition = "1st",

}

Papadakis, N, Plexousakis, D, Antoniou, G, Daskalakis, M & Christodoulou, Y 2008, The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. in A An, S Matwin, ZW Ras & D Slezak (eds), Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings. 1st edn, vol. LNCS/LNAI 4994, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4994 LNCS/LNAI, Springer Verlag, Berlin, pp. 381-388, 17th International Symposium on Methodologies for Intelligent Systems, Toronto, Ontario, Canada, 20/05/08. https://doi.org/10.1007/978-3-540-68123-6_41

The Ramification Problem in Temporal Databases : A Solution Implemented in SQL. / Papadakis, Nikos; Plexousakis, Dimitris; Antoniou, Grigoris et al.

Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings. ed. / Aijun An; Stan Matwin; Zbigniew W. Ras; Dominik Slezak. Vol. LNCS/LNAI 4994 1st. ed. Berlin : Springer Verlag, 2008. p. 381-388 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4994 LNCS/LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The Ramification Problem in Temporal Databases

T2 - 17th International Symposium on Methodologies for Intelligent Systems

AU - Papadakis, Nikos

AU - Plexousakis, Dimitris

AU - Antoniou, Grigoris

AU - Daskalakis, Manolis

AU - Christodoulou, Yannis

N1 - Conference code: 17

PY - 2008/5/8

Y1 - 2008/5/8

N2 - In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem.

AB - In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem.

KW - Differentiation (calculus)

KW - Problem solving

KW - Database systems

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

UR - https://link.springer.com/book/10.1007/978-3-540-68123-6

U2 - 10.1007/978-3-540-68123-6_41

DO - 10.1007/978-3-540-68123-6_41

M3 - Conference contribution

AN - SCOPUS:44649103866

SN - 3540681221

SN - 9783540681229

VL - LNCS/LNAI 4994

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 381

EP - 388

BT - Foundations of Intelligent Systems

A2 - An, Aijun

A2 - Matwin, Stan

A2 - Ras, Zbigniew W.

A2 - Slezak, Dominik

PB - Springer Verlag

CY - Berlin

Y2 - 20 May 2008 through 23 May 2008

ER -

Papadakis N, Plexousakis D, Antoniou G, Daskalakis M, Christodoulou Y. The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. In An A, Matwin S, Ras ZW, Slezak D, editors, Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings. 1st ed. Vol. LNCS/LNAI 4994. Berlin: Springer Verlag. 2008. p. 381-388. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-68123-6_41

The Ramification Problem in Temporal Databases: A Solution Implemented in SQL

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this