Article

Free access

Towards a theory of spatial database queries (extended abstract)

Authors:

Jan Van den Bussche,

Dirk Van GuchtAuthors Info & Claims

PODS '94: Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 279 - 288

https://doi.org/10.1145/182591.182640

Published: 24 May 1994 Publication History

Abstract

A general model for spatial databases is considered, which extends the relational model by allowing as tuple components not only atomic values but also geometrical figures. The model, which is inspired by the work of Kanellakis, Kuper and Revesz on constraint query languages, includes a calculus and an algebra which are equivalent. Given this framework, the concept of spatial database query is investigated. Thereto, Chandra and Harel's well-known consistency criterion for classical relational queries is adapted. Various adaptations are proposed, depending on the kinds of geometry in which the spatial information in the database is to be interpreted. The consistency problem for calculus queries is studied. Expressiveness issues are examined. The main purpose of the paper is to open up new grounds for theoretical research in the area of spatial database systems. Consequently, many open problems are indicated.

References

[1]

D. Abel and B.C. Ooi, editors. Advances in spatial databases--3rd Symposium SSD'93, volume 692 of Lecture Notes in Computer Science. Springer- Verlag, 1993.

Digital Library

[2]

D.S. Arnon. Geometric reasoning with logic and algebra. Artificial Intelligence, 37:37-60, 1988.

Digital Library

[3]

A.V. Aho, Y. Sagiv, and J.D. Ullman. Equivalences among relational expressions. SIAM Journal on Computing, 8(2):218-246, 1979.

Digital Library

[4]

A.V. Aho and J.D. Ullman. Universality of data retrieval languages. In Proceedings of the A CM Symposium on Principles of Programming Languages, pages 110-120, 1979.

Digital Library

[5]

J. Bochnak, M. Coste, and M.-F. Roy. Ggomgtrie alggbrique rgelle. Springer- Verlag, 1987.

[6]

A. Buchmann, editor. Design and iraplementation of large spatial databases-- First Symposium SSD'89, volume 409 of Lecture Notes in Computer Science. Springer-Verlag, 1989.

Digital Library

[7]

A. Chandra and D. Harel. Computable queries for relational database systems. Journal of Computer and System Sciences, 21(2):156-178, 1980.

[8]

G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, 33:134-183, 1975.

Digital Library

[9]

M.J. Egenhofer and R.D. Franzosa. Point-set topological spatial relations. Int. J. Geographical Information Systems, 5(2):161-174, 1991.

[10]

E. Engeler. Foundations of Mathematics. Springer-Verl#g, 1993.

[11]

S. Grumbach and J. Su. Finitely representable databases. These Proceedings.

Digital Library

[12]

O. Gunther #nd H.-J. Schek, editors. Advances in spatial databases#2nd Symposium SSD'91, volume 525 of Lecture Notes in Computer Science. Springer- Verlag, 1991.

[13]

J. Heintz, T. Recio, and M.-F. Roy. Algorithms in re#l algebraic geometry and applications to computational geometry. In W. Steiger J. Goodman, R. Pollack, editor, Discrete and computational geometry, volume 6 of DIMA CS Series in Discrete Mathematics and Theoretical Computer Science. AMS-ACM, 1991.

[14]

R. Hull and C.K. Yap. The format model, a theory of database organization. Journal of the ACM, 31(3):518-537, 1984.

Digital Library

[15]

P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, to appear. See also Proceedings 9th A CM Symposium on Principles of Database Systems, pages 299-313, 1990.

Digital Library

[16]

J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13, 1992.

Digital Library

[17]

W. Schwabh~user. Addendum. Fund. Math., 103:101, 1979.

[18]

A. Tansel et al., editors. Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings, 1993.

Digital Library

[19]

A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.

[20]

A. Tarski. Wh# #re logicM no#ions? History and Philosophy of Logic, 7:143- 154, 1986. Edited by J. Corcoran.

Cited By

Boer NDeutch DFrost NMilo T(2020)Personal insights for altering decisions of tree-based ensembles over timeProceedings of the VLDB Endowment10.14778/3380750.338075213:6(798-811)Online publication date: 11-Mar-2020
https://dl.acm.org/doi/10.14778/3380750.3380752
Haesevoets SKuijpers BRevesz P(2020)Affine-invariant querying of spatial data using a triangle-based logicGeoinformatica10.1007/s10707-020-00402-124:4(849-879)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.1007/s10707-020-00402-1
Wieland MPittore M(2017)A Spatio-Temporal Building Exposure Database and Information Life-Cycle Management SolutionISPRS International Journal of Geo-Information10.3390/ijgi60401146:4(114)Online publication date: 8-Apr-2017
https://doi.org/10.3390/ijgi6040114
Show More Cited By

Index Terms

Towards a theory of spatial database queries (extended abstract)
1. Information systems
  1. Data management systems
2. Theory of computation

Recommendations

Object-oriented database systems (extended abstract): the notions and the issues
OODS '86: Proceedings on the 1986 international workshop on Object-oriented database systems
A database system is a collection of stored data together with their description (the database) and a hardware/software system for their reliable and secure management, modification and retrieval (the database management system, DBMS).
A database is ...
Relational queries computable in polynomial time (Extended Abstract)
STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing

Query languages for relational databases have received considerable attention. In 1972 Codd [Cod72] showed that two natural mathematical languages for queries—one algebraic and the other a version of first order predicate calculus—had identical powers ...
Towards mutation-based testing of column-oriented database queries
ACMSE '14: Proceedings of the 2014 ACM Southeast Conference

There has been tremendous growth over the last few years of applications employing column-oriented databases (a common type of non-relational database) to store unstructured or semi-structured data. These applications have queries present in the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PODS '94: Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

May 1994

313 pages

ISBN:0897916425

DOI:10.1145/182591

Chairman:
Victor Vianu
Univ. of California at San Diego, La Jolla

Copyright © 1994 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 May 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS94

Sponsor:

SIGMOD/PODS94: Joint ACM SIGMOD International Conference on Management of Data and ACM SIGMOD & ACM Symposium Principles of Database Systems

May 24 - 27, 1994

Minnesota, Minneapolis, USA

Acceptance Rates

PODS '94 Paper Acceptance Rate 28 of 117 submissions, 24%;

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

91
Total Citations
View Citations
655
Total Downloads

Downloads (Last 12 months)64
Downloads (Last 6 weeks)2

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Boer NDeutch DFrost NMilo T(2020)Personal insights for altering decisions of tree-based ensembles over timeProceedings of the VLDB Endowment10.14778/3380750.338075213:6(798-811)Online publication date: 11-Mar-2020
https://dl.acm.org/doi/10.14778/3380750.3380752
Haesevoets SKuijpers BRevesz P(2020)Affine-invariant querying of spatial data using a triangle-based logicGeoinformatica10.1007/s10707-020-00402-124:4(849-879)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.1007/s10707-020-00402-1
Wieland MPittore M(2017)A Spatio-Temporal Building Exposure Database and Information Life-Cycle Management SolutionISPRS International Journal of Geo-Information10.3390/ijgi60401146:4(114)Online publication date: 8-Apr-2017
https://doi.org/10.3390/ijgi6040114
Haesevoets SKuijpers BRevesz P(2017)Affine-Invariant Triangulation of Spatio-Temporal Data with an Application to Image RetrievalISPRS International Journal of Geo-Information10.3390/ijgi60401006:4(100)Online publication date: 28-Mar-2017
https://doi.org/10.3390/ijgi6040100
Pittore MWieland MFleming K(2016)Perspectives on global dynamic exposure modelling for geo-risk assessmentNatural Hazards10.1007/s11069-016-2437-386:S1(7-30)Online publication date: 25-Jun-2016
https://doi.org/10.1007/s11069-016-2437-3
Kuijpers B(2016)Polynomial Spatial Constraint DatabasesEncyclopedia of GIS10.1007/978-3-319-23519-6_1001-3(1-2)Online publication date: 11-May-2016
https://doi.org/10.1007/978-3-319-23519-6_1001-3
Andrea RodríGuez MBertossi LCaniupáN M(2013)Consistent query answering under spatial semantic constraintsInformation Systems10.1016/j.is.2012.08.00538:2(244-263)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1016/j.is.2012.08.005
Gómez LKuijpers BMoelans BVaisman A(2011)A State-of-the-Art in Spatio-Temporal Data Warehousing, OLAP and MiningIntegrations of Data Warehousing, Data Mining and Database Technologies10.4018/978-1-60960-537-7.ch009(200-236)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-537-7.ch009
Benedikt MSenellart P(2011)DatabasesComputer Science10.1007/978-1-4614-1168-0_10(169-229)Online publication date: 22-Oct-2011
https://doi.org/10.1007/978-1-4614-1168-0_10
Gómez LHaesevoets SKuijpers BVaisman A(2009)Spatial aggregationInformation Systems10.1016/j.is.2009.03.00234:6(551-576)Online publication date: 1-Sep-2009
https://dl.acm.org/doi/10.1016/j.is.2009.03.002
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents