Solving constraints on sets of spatial objects

Authors:
Jesús M. Almendros-Jiménez;Antonio Corral
Affiliations:
Dpto. de Lenguajes y Computación, Universidad de Almería;Dpto. de Lenguajes y Computación, Universidad de Almería
Venue:
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Year:
2005

Citing 15
Cited 1

Nearest neighbor queries

SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Topological relations in the world of minimum bounding rectangles: a study with R-trees

SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Introduction

Visual language theory
Safe query languages for constraint databases

ACM Transactions on Database Systems (TODS)
Hierarchical constraint satisfaction in spatial databases

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Closest pair queries in spatial databases

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Temporal Constraints: A Survey

Constraints
R-trees: a dynamic index structure for spatial searching

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An introduction to spatial database systems

The VLDB Journal — The International Journal on Very Large Data Bases - Spatial Database Systems
An Extended Algebra for Constraint Databases

IEEE Transactions on Knowledge and Data Engineering
Beyond Finite Domains

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Manipulating Spatial Data in Constraint Databases

SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
Building a constraint-based spatial database system: model, languages, and implementation

Information Systems
Principles of Constraint Programming

Principles of Constraint Programming
Constraint Databases

Constraint Databases

Constraint logic programming over sets of spatial objects

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

Quantified Score

Hi-index	0.00

Visualization

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.