Back to Search Start Over

Solving Constraints on Sets of Spatial Objects.

Authors :
Hermenegildo, Manuel
Cabeza, Daniel
Almendros-Jiménez, Jesús M.
Corral, Antonio
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