License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07212.2
URN: urn:nbn:de:0030-drops-12824
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1282/
Go to the corresponding Portal

Bank, Bernd ; Egenhofer, Max J. ; Heintz, Joos ; Kuijpers, Bart ; Revesz, Peter

07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems

pdf-format:
07212.SWM.ExtAbstract.1282.pdf (0.1 MB)

Abstract

During the last two decades the topic of constraint databases has evolved into a mature area of computer science with sound mathematical foundations and with a profound theoretical understanding of the expressive power of a variety of query languages. Constraint databases are especially suited for applications in which possibly infinite sets of continuous data, that have a geometric interpretation, need to be stored in a computer. Today, the most important application domains of constraint databases are geographic information systems (GIS), spatial databases and spatio-temporal databases. In these applications infinite geometrical sets of continuous data are finitely represented by means of finite combinations of polynomial equality and inequality constraints that describe these data sets (in mathematical terms these geometrical data sets are known as semi-algebraic sets and they have been extensively studied in real algebraic geometry). On the other hand, constraint databases provide us with a new view on classic (linear and nonlinear) optimization theory.



BibTeX - Entry

@InProceedings{bank_et_al:DagSemProc.07212.2,
  author =	{Bank, Bernd and Egenhofer, Max J. and Heintz, Joos and Kuijpers, Bart and Revesz, Peter},
  title =	{{07212 Manifesto – Constraint Databases, Geometric Elimination ang Geographic Information Systems}},
  booktitle =	{Constraint Databases, Geometric Elimination and Geographic Information Systems},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7212},
  editor =	{Bernd Bank and Max J. Egenhofer and Bart Kuijpers},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1282},
  URN =		{urn:nbn:de:0030-drops-12824},
  doi =		{10.4230/DagSemProc.07212.2},
  annote =	{Keywords: Constraint databases, elimination procedures, geographical information systems}
}

Keywords: Constraint databases, elimination procedures, geographical information systems
Collection: 07212 - Constraint Databases, Geometric Elimination and Geographic Information Systems
Issue Date: 2007
Date of publication: 17.12.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI