| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 387122 | Expert Systems with Applications | 2010 | 17 Pages |
Abstract
In this paper, we study the ramification problem in the setting of spatial databases. Standard solutions from the literature on reasoning about action are inadequate because they cannot capture integrity constraints in spatial data. In this paper, we provide a solution to the ramification problem based on situation calculus. 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 in spatial databases.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Nikos Papadakis, Yannis Christodoulou,