Back to Search
Start Over
Solving Constraints on Sets of Spatial Objects.
- Source :
- Practical Aspects of Declarative Languages; 2005, p158-173, 16p
- Publication Year :
- 2005
-
Abstract
- In this paper, we present a constraint solver for constraints on sets of spatial objects. With this aim, we define a constraint system for handling spatial data types (points, lines, polygons and regions) and constraints on them (equalities and inequalities, memberships, metric, topological and structural constraints), and provide a suitable theory for this constraint system. The constraint solver is presented in the form of transformation rules. These transformation rules handle a special kind of constraints used for consistency checking, enabling an optimized and efficient solving of spatial constraints. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540243625
- Database :
- Supplemental Index
- Journal :
- Practical Aspects of Declarative Languages
- Publication Type :
- Book
- Accession number :
- 32977408