.png){kind=icon}
.png){kind=icon}
Return
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2009.06.110.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2009 Elsevier Ltd. All rights reserved.
Keywords:
Ramification problem
Spatial databases
Common sense reasoning
Knowledge representation and reasoning
Software engineering
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
7.5
Papers:
2.9W
Citations:
10.2W