The ramification problem in temporal databases: Concurrent execution

✍ Scribed by Nikolaos Papadakis; Dimitris Plexousakis; Grigoris Antoniou

• Book ID: 102280692
• Publisher: John Wiley and Sons
• Year: 2010
• Tongue: English
• Weight: 205 KB
• Volume: 25
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/int.20408

✦ Synopsis

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 in which two or more actions execute concurrently, a particularly complex problem.