1 Search Results for "Mäs, Stephan"

Document

Checking the Integrity of Spatial Integrity Constraints

Authors: Stephan Mäs

Published in: Dagstuhl Seminar Proceedings, Volume 7212, Constraint Databases, Geometric Elimination and Geographic Information Systems (2007)

Abstract

Integrity constraints play a major role when the quality of spatial data is checked by automatic procedures. Nevertheless the possibilities of checking the internal consistency of the integrity constraints themselves are hardly researched jet. This work analyses the applicability of reasoning techniques like the composition of spatial relations and constraint satisfaction in networks of constraints to find conflicts and redundancies in sets of spatial semantic integrity constraints. These integrity rules specify relations among entity classes. Such relations must hold to assure that the data is fitting to the semantics intended by the data model. For spatial data many semantic integrity constraints are based on spatial properties described for example through qualitative topological or metric relations. Since integrity constraints are defined at the class level, the reasoning properties of these spatial relations can not directly be applied. Therefore a set of class relations has been defined which, combined with the instance relations, enables for the specification of integrity constraints and to reason about them.

Cite as

Stephan Mäs. Checking the Integrity of Spatial Integrity Constraints. In Constraint Databases, Geometric Elimination and Geographic Information Systems. Dagstuhl Seminar Proceedings, Volume 7212, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{mas:DagSemProc.07212.5,
  author =	{M\"{a}s, Stephan},
  title =	{{Checking the Integrity of Spatial Integrity Constraints}},
  booktitle =	{Constraint Databases, Geometric Elimination and Geographic Information Systems},
  pages =	{1--9},
  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/entities/document/10.4230/DagSemProc.07212.5},
  URN =		{urn:nbn:de:0030-drops-12859},
  doi =		{10.4230/DagSemProc.07212.5},
  annote =	{Keywords: Semantic Integrity Constraints, Spatial Relations, Class Level Relations, Reasoning, Consistency of Constraints, Constraint Networks}
}

Refine by Author
1 Mäs, Stephan

Refine by Classification

Refine by Keyword
1 Class Level Relations
1 Consistency of Constraints
1 Constraint Networks
1 Reasoning
1 Semantic Integrity Constraints
Show More...

Refine by Type
1 document

Refine by Publication Year
1 2007

1 Search Results for "Mäs, Stephan"

Checking the Integrity of Spatial Integrity Constraints

Abstract

Cite as

Thanks for your feedback!

Could not send message