SPATIAL DEDUCTIVE DATABASE

This paper presents a new architecture of database to deal with the complex structure and large volume of the spatial data. The object-oriented technology, which has the powerful modeling ability to describe the complex objects, is used to model the spatial objects. The massive storage that is base on the tertiary storage device is preferred to the large volume of spatial data. The deductive rules help to form more powerful query, optimize the query process and accelerate the data retrieval. Here we integrate the technologies of object-oriented, massive storage and deductive database into the traditional spatial database and build a new framework in which each part is described in detail.

[1]  Shashi Shekhar,et al.  Data models in geographic information systems , 1997, CACM.

[2]  VieilleLaurent A deductive and object-oriented database system , 1993 .

[3]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, PODS '87.

[4]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[5]  Oliver Günther,et al.  Research issues in spatial databases , 1990, SGMD.

[6]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[7]  Divesh Srivastava,et al.  The CORAL deductive database system , 1993, SIGMOD '93.

[8]  Shashi Shekhar,et al.  Spatial Databases - Accomplishments and Research Needs , 1999, IEEE Trans. Knowl. Data Eng..

[9]  Norman W. Paton,et al.  The formalisation of ROCK & ROLL: A deductive object-oriented database system , 1997, Inf. Softw. Technol..

[10]  J. Hothmer Book reviewInternational archives of photogrammetry and remote sensing: ISPRS, Editor S. Murai: volume 27 part A, Tokyo-Japan-Japan 1989 , 1989 .

[11]  Jan Paredaens,et al.  Spatial Databases, The Final Frontier , 1995, ICDT.

[12]  Laurent Vieille A deductive and object-oriented database system: why and how? , 1993, SIGMOD '93.

[13]  Won Kim,et al.  Spatial Data Management In Database Systems: Research Directions , 1993, SSD.

[14]  Dan Suciu,et al.  Topological Queries in Spatial Databases , 1999, J. Comput. Syst. Sci..

[15]  Catriel Beeri,et al.  Sets and negation in a logic data base language (LDL1) , 1987, PODS.

[16]  Anthony G. Cohn,et al.  Calculi for Qualitative Spatial Reasoning , 1996, AISMC.

[17]  Ling Liu,et al.  LogicBase: a deductive database system prototype , 1994, CIKM '94.

[18]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[19]  Jiawei Han,et al.  Query evaluation and optimization in deductive and object-oriented spatial databases , 1995, Inf. Softw. Technol..

[20]  Dimitris Papadias,et al.  Algorithms for Querying by Spatial Structure , 1998, VLDB.

[21]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, J. Comput. Syst. Sci..