#### Topics from this paper

#### 173 Citations

Data Models and Query Languages for Spatial Databases

- Computer Science
- Data Knowl. Eng.
- 1998

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

- Computer Science
- ArXiv
- 2008

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

- Computer Science, Mathematics
- TOCL
- 2008

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

- Mathematics, Computer Science
- SIAM J. Comput.
- 2007

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

- 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

- Mathematics, Computer Science
- TOCL
- 2002

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

- Computer Science
- SSD
- 1997

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

- Computer Science
- GeoInformatica
- 2020

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

- Computer Science
- Proc. VLDB Endow.
- 2020

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

- Computer Science
- ISPRS Int. J. Geo Inf.
- 2017

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

#### References

SHOWING 1-6 OF 6 REFERENCES

Constraint Query Languages

- Computer Science
- J. Comput. Syst. Sci.
- 1995

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

- Mathematics, Computer Science
- Int. J. Geogr. Inf. Sci.
- 1991

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

- 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

- Computer Science
- POPL
- 1979

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

- Mathematics, Computer Science
- 1975

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