Corpus ID: 208892941

Towards a theory of spatial database queries

  title={Towards a theory of spatial database queries},
  author={J. Paredaens and J. Bussche and D. V. Gucht},
  booktitle={PODS 1994},

Topics from this paper

Data Models and Query Languages for Spatial Databases
An overview of some well-known data models and query languages of spatial database systems is given and the concept of genericity, as introduced by Chandra and Harel for classical databases, for spatial databases is investigated. Expand
A triangle-based logic for affine-invariant querying of spatial and spatio-temporal data
This work proposes a so-called “triangle logic”, a query language that is affine-generic and has triangles as basic elements and shows that this language has the same expressive power as the affin-generic fragment of first-order logic overthe reals on triangle databases. Expand
First-order complete and computationally complete query languages for spatio-temporal databases
This work defines spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio/temporal data. Expand
First-Order Languages Expressing Constructible Spatial Database Queries
The aim of this paper is to identify a class of two-dimensional constraint databases and a query language within the constraint model that go beyond the linear model and allow the expression of queries concerning distance. Expand
From 3d geomodelling systems towards 3d geoscience information systems: Data model, query functionality, and data management
  • M. Apel
  • Computer Science
  • Comput. Geosci.
  • 2006
The presented approach is a general framework for a 3d GIS based on existing 3d geomodelling theory and software, and is characterized by an integrated data model for geological observation data and geommodels, data management supported by an XML-enabled database server, and functionality for querying observation Data and 3d Geomodels based on their 3d spatial and geological properties. Expand
On first-order topological queries
This work studies topological queries expressible in the standard query language on spatial databases, first-order logic with various amounts of arithmetic, and results in a combinatorial characterization of the expressive power of topological first- order logic on regular spatial databases. Expand
Manipulating Spatial Data in Constraint Databases
This paper extends the model and the algebra to directly deal with the set of points represented by a generalized tuple (a spatial object), retaining at the same time the ability of expressing all computations that can be expressed by other constraint database languages. Expand
Affine-invariant querying of spatial data using a triangle-based logic
The proposed query language is intuitive and has the same expressive power as the affine-generic fragment of first-order logic over the reals on triangle databases. Expand
Personal insights for altering decisions of tree-based ensembles over time
This work proposes a novel framework that allows users to devise a plan of action to individuals in presence of Machine Learning classification, where both the ML model and the user properties are expected to change over time. Expand
Affine-Invariant Triangulation of Spatio-Temporal Data with an Application to Image Retrieval
An attempt is made to evaluate the importance of knowing the carrier and removal status of canine coronavirus in the distribution of infectious disease in animals. Expand


Constraint Query Languages
It is shown that efficient, declarative database programming can be combined with efficient constraint solving and the key intuition is that the generalization of a ground fact is a conjunction of constraints over a small number of variables. Expand
Point Set Topological Relations
A novel theory of topological spatial relations between sets is developed in which the relations are defined in terms of the intersections of the boundaries and interiors of two sets, and it is shown that these relations correspond to some of the standard set theoretical andTopological spatial Relations between sets such as equality, disjointness and containment in the interior. Expand
Geometric Reasoning with Logic and Algebra
  • D. Arnon
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1988
Examples of problems that fall within the scope of geometric reasoning are given, a tutorial introduction to the principal algorithms currently in use, and the solution of the sample problems using those algorithms are described. Expand
Universality of data retrieval languages
Although relational algebra and relational calculus satisfy these principles, there are certain queries involving least fixed points that cannot be expressed by these languages, yet that also satisfy the principles. Expand
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Tarski in 1948, ( Tarski 1951) published a quantifier elimination method for the elementary theory of real closed fields, which provides a decision method, which enables one to decide whether any sentence of the theory is true or false. Expand
Foundations of Mathematics