A deductive and object-oriented approach for spatial databases

With the rapid development of deductive and object-oriented database technology, it is promising to explore the application of deductive and object-oriented techniques in the development of spatial databases. This thesis investigates the design and implementation of deductive and object-oriented spatial databases (DOOSDB). Several important issues on such spatial databases are studied, including modeling complex spatial objects, spatial data manipulation functionality, a spatial deductive query language, and extensibility of the system. This thesis contributes to the studies on spatial query optimization and processing in DOOSDB in the following aspects: (1) a method for compilation of deduction spatial rules and expressions is proposed with simplification of compiled queries using relational and geo-relational algebra; (2) an algorithm for spatial query plan generation and selection using a dynamic connection graph analysis; (3) techniques for set-oriented optimization and processing of computationally-intensive spatial operators and methods; and (4) a spatial join indexing technique using information associated with frequently used spatial join operations. This thesis presents an integrated view of a deductive and object-oriented spatial database system and provides an effective mechanism for spatial data handling and efficient algorithms for spatial query processing.

[1]  Christos Faloutsos,et al.  An Efficient Pictorial Database System for PSQL , 1988, IEEE Trans. Software Eng..

[2]  Divesh Srivastava,et al.  CORAL - Control, Relations and Logic , 1992, VLDB.

[3]  Jürg Nievergelt,et al.  The Grid File: An Adaptable, Symmetric Multikey File Structure , 1984, TODS.

[4]  Pat Langley,et al.  Approaches to Conceptual Clustering , 1985, IJCAI.

[5]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[6]  Michael Stonebraker,et al.  Readings in Database Systems , 1988 .

[7]  Carlo Zaniolo,et al.  Magic counting methods , 1987, SIGMOD '87.

[8]  David J. Maguire,et al.  Geographical information systems : principles and applications , 1991 .

[9]  Alfred V. Aho,et al.  Data Structures and Algorithms , 1983 .

[10]  Leonidas J. Guibas,et al.  Visibility and intersectin problems in plane geometry , 1985, SCG '85.

[11]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[12]  Carlo Zaniolo,et al.  Safety and Optimization of Horn Clause Queries , 1986, XP7.52 Workshop on Database Theory.

[13]  Stéphane Grumbach,et al.  Integration of Functions Defined with Rewriting Rules in Datalog , 1989, DOOD.

[14]  Michael Stonebraker,et al.  The Implementation of Postgres , 1990, IEEE Trans. Knowl. Data Eng..

[15]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[16]  Eugene Wong,et al.  Decomposition—a strategy for query processing , 1976, TODS.

[17]  Diane Greene,et al.  An implementation and performance analysis of spatial data access methods , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[18]  Jon Louis Bentley,et al.  Decomposable Searching Problems , 1979, Inf. Process. Lett..

[19]  Kevin Wilkinson,et al.  The Iris Architecture and Implementation , 1990, IEEE Trans. Knowl. Data Eng..

[20]  Johann-Christoph Freytag,et al.  A rule-based view of query optimization , 1987, SIGMOD '87.

[21]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[22]  Ali R. Hurson,et al.  Object-oriented database management systems: evolution and performance issues , 1993, Computer.

[23]  David B. Lomet,et al.  The hB-tree: a multiattribute indexing method with good guaranteed performance , 1990, TODS.

[24]  H. V. Jagadish,et al.  Direct Algorithms for Computing the Transitive Closure of Database Relations , 1987, VLDB.

[25]  Limsoon Wong.  Inference Rules in Object Oriented Programminh Systems , 1989, DOOD.

[26]  Frank Manola,et al.  PROBE Spatial Data Modeling and Query Processing in an Image Database Application , 1988, IEEE Trans. Software Eng..

[27]  Jiawei Han,et al.  Asynchronous Chain Recursions , 1989, IEEE Trans. Knowl. Data Eng..

[28]  Beng Chin Ooi,et al.  Extensible Buffer Management of Indexes , 1992, VLDB.

[29]  Peter Widmayer,et al.  The LSD tree: spatial access to multidimensional and non-point objects , 1989, VLDB 1989.

[30]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1987, DBPL.

[31]  Matthias Jarke,et al.  Query Optimization in Database Systems , 1984, CSUR.

[32]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[33]  Carlo Zaniolo,et al.  The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..

[34]  Wu-chun Feng,et al.  Map data processing in geographic information systems , 1989, Computer.

[35]  Wolfgang Böhm,et al.  A survey of curve and surface methods in CAGD , 1984, Comput. Aided Geom. Des..

[36]  Robert F. Sproull,et al.  Principles in interactive computer graphics , 1973 .

[37]  M. Tamer Özsu,et al.  Execution Plan Generation for an Object-Oriented Dat Model , 1991, DOOD.

[38]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[39]  William Kent,et al.  Limitations of record-based information models , 1979, TODS.

[40]  Nicholas Chrisman,et al.  Cartographic Data Structures , 1975 .

[41]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[42]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1991, CACM.

[43]  Carlo Zaniolo,et al.  Optimization of Nonrecursive Queries , 1986, VLDB.

[44]  Peter Buneman,et al.  Inheritance and persistence in database programming languages , 1986, SIGMOD '86.

[45]  Martin Hardwick.  Why ROSE is fast: Five optimizations in the design of an experimental database system for CAD/CAM applications , 1987, SIGMOD '87.

[46]  Robert E. Tarjan,et al.  Data structures and network algorithms , 1983, CBMS-NSF regional conference series in applied mathematics.

[47]  Hans-Jörg Schek,et al.  The DASDBS Project: Objectives, Experiences, and Future Prospects , 1990, IEEE Trans. Knowl. Data Eng..

[48]  John Grant,et al.  Foundations of Semantic Query Optimization for Deductive Databases , 1988, Foundations of Deductive Databases and Logic Programming..

[49]  P. Burrough.  Principles of Geographical Information Systems for Land Resources Assessment , 1986 .

[50]  David J. DeWitt,et al.  The Architecture of the EXODUS Extensible DBMS , 1986, On Object-Oriented Database System.

[51]  Patrick Valduriez,et al.  Join indices , 1987, TODS.

[52]  T. Pavlidis.  Algorithms for Graphics and Image Processing , 1981, Springer Berlin Heidelberg.

[53]  Raimund Seidel,et al.  Voronoi diagrams and arrangements , 1985, SCG '85.

[54]  Hanan Samet,et al.  The Design and Analysis of Spatial Data Structures , 1989 .

[55]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[56]  Dave Mandelkern,et al.  Introduction to the Special Section on Graphical User Interfaces: The Next Generation. , 1993 .

[57]  Lawrence J. Henschen,et al.  Derivation of Magic Sets by Compilation , 1989, SEKE.

[58]  Yannis E. Ioannidis,et al.  Randomized algorithms for optimizing large join queries , 1990, SIGMOD '90.

[59]  Jack A. Orenstein.  Strategies for Optimizing the Use of Redundancy in Spatial Databases , 1989, SSD.

[60]  Christos Faloutsos,et al.  Analysis of object oriented spatial access methods , 1987, SIGMOD '87.

[61]  Christos Faloutsos,et al.  The R+-Tree: A Dynamic Index for Multi-Dimensional Objects , 1987, VLDB.

[62]  Hans-Werner Six,et al.  Spatial searching in geometric databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[63]  Abraham Silberschatz,et al.  A Multi-Resolution Relational Data Model , 1992, VLDB.

[64]  Jiawei Han,et al.  Knowledge Discovery in Databases: An Attribute-Oriented Approach , 1992, VLDB.

[65]  Jan van den Bos,et al.  An Object-Oriented approach to the design of Geographic Information Systems , 1989, Comput. Graph..

[66]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[67]  Oliver Günther.  Efficient Computation of Spatial Joins , 1993, ICDE.

[68]  J. T. Robinson,et al.  The K-D-B-tree: a search structure for large multidimensional dynamic indexes , 1981, SIGMOD '81.

[69]  David J. DeWitt,et al.  The EXODUS optimizer generator , 1987, SIGMOD '87.

[70]  Hans-Werner Six,et al.  The R-file: an efficient access structure for proximity queries , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[71]  Beng Chin Ooi,et al.  Extending a DBMS for geographic applications , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[72]  Hans-Peter Kriegel,et al.  Techniques for Design and Implementation of Efficient Spatial Access Methods , 1988, VLDB.

[73]  Patrick Valduriez,et al.  Extending the Search Strategy in a Query Optimizer , 1991, VLDB.

[74]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[75]  Henry F. Korth,et al.  The design of ¬ 1NF relational databases into nested normal form , 1987, SIGMOD '87.

[76]  J.-W. Han,et al.  Deductive-ER: deductive entity-relationship data model and its data language , 1992, Inf. Softw. Technol..

[77]  Oliver Günther,et al.  Spatial database indices for large extended objects , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[78]  Rangasami L. Kashyap,et al.  An Object-Oriented Knowledge Representation for Spatial Information , 1988, IEEE Trans. Software Eng..

[79]  Norman W. Paton,et al.  Deduction and Deductive Databases for Geographic Data Handling , 1993, SSD.

[80]  Donna J. Peuquet,et al.  Representations of Geographic Space: Toward a Conceptual Synthesis , 1988 .

[81]  Jiawei Han,et al.  Distance-associated join indices for spatial range search , 1992, [1992] Eighth International Conference on Data Engineering.

[82]  Marc P. Armstrong,et al.  Temporality in Spatial Databases , 1988 .

[83]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA 1987.

[84]  Michael Kifer,et al.  Querying object-oriented databases , 1992, SIGMOD '92.

[85]  Henry F. Korth,et al.  SQL/NF: a query language for ¬1 NF relational databases , 1987, Inf. Syst..

[86]  Hamid Pirahesh,et al.  A data management extension architecture , 1987, SIGMOD '87.

[87]  G. Langran.  Time in Geographic Information Systems , 1990 .

[88]  Lawrence O'Gorman,et al.  An object model for image recognition , 1989, Computer.

[89]  Amedeo Napoli,et al.  Object Oriented Languages , 1991 .

[90]  Robert M. Haralick,et al.  Knowledge-based computer vision-integrated programming language and data management system design , 1989, Computer.

[91]  Doron Rotem.  Spatial join indices , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[92]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[93]  Carlo Zaniolo.  Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach , 1989, DOOD.

[94]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[95]  J. Naughton,et al.  Counting methods for cyclic relations , 1988, PODS.

[96]  Shashi K. Gadia,et al.  A homogeneous relational model and query languages for temporal databases , 1988, TODS.

[97]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[98]  Ali R. Hurson,et al.  Effective clustering of complex objects in object-oriented databases , 1991, SIGMOD '91.

[99]  Qiang Wang,et al.  Evaluation of functional linear recursions: a compilation approach , 1991, Inf. Syst..

[100]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[101]  Robert A. Kowalski,et al.  Directions for Logic Programming , 1987, Computational Logic: Logic Programming and Beyond.

[102]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPSLA 1986.

[103]  W. S. Luk,et al.  Using an object-oriented database system to construct a spatial database kernel for GIS applications , 1992 .

[104]  Ralf Hartmut Güting,et al.  Rule-based optimization and query processing in an extensible geometric database system , 1992, TODS.

[105]  Toshihide Ibaraki,et al.  On the optimal nesting order for computing N-relational joins , 1984, TODS.

[106]  Michael E. Mortenson,et al.  Geometric Modeling , 2008, Encyclopedia of GIS.

[107]  C. Tomlin.  Geographic information systems and cartographic modeling , 1990 .

[108]  Lawrence J. Henschen,et al.  Handling redundancy in the processing of recursive database queries , 1987, SIGMOD '87.

[109]  Ralf Hartmut Güting,et al.  Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems , 1988, EDBT.

[110]  Hamid Pirahesh,et al.  Starburst Mid-Flight: As the Dust Clears , 1990, IEEE Trans. Knowl. Data Eng..

[111]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[112]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .