Skip to main content
Springer Nature Link
Log in

Solving Constraints on Sets of Spatial Objects

  • Conference paper
Practical Aspects of Declarative Languages (PADL 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3350))

Included in the following conference series:

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.

This work has been partially supported by the Spanish project of the Ministry of Science and Technology, “INDALOG” TIC2002-03968 under FEDER funds.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Almendros-Jiménez, J.M., Corral, A.: Solving constraints on sets of spatial objects, Technical report, Dpto. de Lenguajes y Computación, Universidad de Almería (2004), available in http://www.ual.es/~jalmen/padl05tr.ps

  2. Apt, K.R.: Principles of Constraint Programming. Cambridge U. Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  3. Belussi, A., Bertino, E., Catania, B.: Manipulating Spatial Data in Constraint Databases. In: Scholl, M.O., Voisard, A. (eds.) SSD 1997. LNCS, vol. 1262, pp. 115–141. Springer, Heidelberg (1997)

    Google Scholar 

  4. Belussi, A., Bertino, E., Catania, B.: An Extended Algebra for Constraint Databases. TKDE 10(5), 686–705 (1998)

    Google Scholar 

  5. Codognet, P., Díaz, D.: A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning 17(1), 97–129 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  6. Corral, A., Manolopoulos, Y., Theodoridis, Y., Vassilakopoulos, M.: Closest Pair Queries in Spatial Databases. In: ACM SIGMOD, pp. 189–200 (2000)

    Google Scholar 

  7. Güting, R.H.: An Introduction to Spatial Database Systems. VLDB 3(4), 357–399 (1994)

    Article  Google Scholar 

  8. Guttman, A.: R-trees: A Dynamic Index Structure for Spatial Searching. In: ACM SIGMOD, pp. 47–57 (1984)

    Google Scholar 

  9. Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. JLP 19, 20, 503–582 (1994)

    Article  MathSciNet  Google Scholar 

  10. Jaffar, J., Maher, M.J., Stuckey, P.J., Yap, R.H.C.: Beyond Finite Domains. In: CP 1994, pp. 86–94 (1994)

    Google Scholar 

  11. Kuper, G.M., Libkin, L., Paredaens, J. (eds.): Constraint Databases. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  12. Marriot, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)

    Google Scholar 

  13. Papadias, D., Kalnis, P., Mamoulis, N.: Hierarchical Constraint Satisfaction in Spatial Databases. In: AAAI/IAAI 1999, pp. 142–147 (1999)

    Google Scholar 

  14. Papadias, D., Theodoridis, Y., Sellis, T.K., Egenhofer, M.J.: Topological Relations in the World of Minimum Bounding Rectangles: A Study with R-trees. In: ACM SIGMOD, pp. 92–103 (1995)

    Google Scholar 

  15. Revesz, P.Z.: Safe Query Languages for Constraint Databases. ACM TODS 23(1), 58–99 (1998)

    Article  Google Scholar 

  16. Rigaux, P., Scholl, M., Segoufin, L., Grumbach, S.: Building a Constraint-based Spatial Database System: Model, Languages, and Implementation. Information Systems 28(6), 563–595 (2003)

    Article  MATH  Google Scholar 

  17. Rigaux, P., Scholl, M., Voisard, A.: Spatial Databases: with application to GIS. Morgan Kaufmann Publishers, San Francisco (2001)

    Google Scholar 

  18. Roussopoulos, N., Kelley, S., Vincent, F.: Nearest Neighbor Queries. In: ACM SIGMOD, pp. 71–79 (1995)

    Google Scholar 

  19. Schwalb, E., Vila, L.: Temporal Constraints: A Survey. Constraints 3(2/3), 129–149 (1998)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Lenguajes y Computación, Universidad de Almería,  

    Jesús M. Almendros-Jiménez & Antonio Corral

Authors
  1. Jesús M. Almendros-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Corral
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico Universidad Complutense de Madrid,  

    Manuel V. Hermenegildo

  2. School of Computer Science, T.U. Madrid (UPM), Spain

    Daniel Cabeza

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Almendros-Jiménez, J.M., Corral, A. (2005). Solving Constraints on Sets of Spatial Objects. In: Hermenegildo, M.V., Cabeza, D. (eds) Practical Aspects of Declarative Languages. PADL 2005. Lecture Notes in Computer Science, vol 3350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30557-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30557-6_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24362-5

  • Online ISBN: 978-3-540-30557-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics