We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The ramification problem in temporal databases: an approach with conflicting constraints.
- Authors
Papadakis, Nikos; Plexousakis, Dimitris; Papadakis, Myron; Manifavas, Harris
- 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 of McCain and Turner. More specifically, we study the case where there are conflicting effects of an action, a particularly complex problem. Also we present a tool which implements the proposed solution.
- Subjects
DATABASE research; DATABASE management; DATABASE searching; MATHEMATICAL analysis; CALCULUS software
- Publication
Journal of Intelligent Information Systems, 2012, Vol 38, Issue 1, p41
- ISSN
0925-9902
- Publication type
Article
- DOI
10.1007/s10844-010-0143-2