Skip to main content
SpringerLink
Log in

Linear-Constraint Databases

  • Chapter
Constraint Databases

  • 100 Accesses

Abstract

As discussed in the previous chapter, linear constraints are an appropriate model for many sorts of real geographic data. They play an important role from an implementational point of view, mainly because of the existence of numerous efficient algorithms for geometrical operations. We therefore study the special case of the linear constraint model.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographic Notes

  1. O. Günther. Efficient Structures for Geometric Data Management, volume 337 of Lecture Notes in Computer Science. Springer-Verlag, 1988.

    Google Scholar 

  2. L. K. Putnam and P. A. Subrahmanyam. Boolean operations on n-dimensional objects. IEEE Computer Graphics and Applications, 6 (6): 43–51, 1986.

    Article  Google Scholar 

  3. P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51 (1): 26–52, 1995.

    Article  MathSciNet  Google Scholar 

  4. F. N. Afrati, S. S. Cosmadakis, S. Grumbach, and G. M. Kuper. Linear vs polynomial constraints in database query languages. In Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP’94), volume 874 of Lecture Notes in Computer Science, pages 181–192. Springer-Verlag, 1994.

    Google Scholar 

  5. D. Goldin and P. C. Kanellakis. Constraint query algebras. Constraints, 1 (1/2): 45–83, 1996.

    Article  MathSciNet  Google Scholar 

  6. S. Grumbach and J. Su. First-order definability over constraint databases. In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP’95), volume 976 of Lecture Notes in Computer Science, pages 121–136. Springer-Verlag, 1995.

    Google Scholar 

  7. S. Grumbach and J. Su. Queries with arithmetical constraints. The oretical Computer Science (TCS), 173 (1): 151–181, 1997.

    Article  MathSciNet  MATH  Google Scholar 

  8. S. Grumbach, J. Su, and C. Tollu. Linear constraint query languages: Expressive power and complexity. In D. Leivant, editor, International Workshop on Logic and Computational Complexity (LCC’94), volume 960 of Lecture Notes in Computer Science, pages 426–446.

    Google Scholar 

  9. S. Grumbach and Z. Lacroix. Computing queries on linear constraint databases. In Proceedings of the 5th International Workshop on Database Programming Languages (DBPL’95), Electronic Workshops in Computing, page 11. Springer-Verlag, 1995.

    Google Scholar 

  10. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial query languages. In 4th Symposium on Large Spatial Databases (SSD’95), volume 951 of Lecture Notes in Computer Science, pages 14–28. Springer-Verlag, 1995.

    Google Scholar 

  11. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP’96), volume 1118 of Lecture Notes in Computer Science, pages 468–481. Springer-Verlag, 1996.

    Google Scholar 

  12. J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry, volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge. Springer-Verlag, 1998.

    Google Scholar 

  13. F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’97), pages 68–77. ACM Press, 1997.

    Google Scholar 

  14. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial query languages. In 4th Symposium on Large Spatial Databases (SSD’95), volume 951 of Lecture Notes in Computer Science, pages 14–28. Springer-Verlag, 1995.

    Google Scholar 

  15. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP’96), volume 1118 of Lecture Notes in Computer Science, pages 468–481. Springer-Verlag, 1996.

    Google Scholar 

  16. F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’97), pages 68–77. ACM Press, 1997.

    Google Scholar 

  17. F. N. Afrati, S. S. Cosmadakis, S. Grumbach, and G. M. Kuper. Linear vs polynomial constraints in database query languages. In Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP’94), volume 874 of Lecture Notes in Computer Science, pages 181–192. Springer-Verlag, 1994.

    Google Scholar 

  18. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP’96), volume 1118 of Lecture Notes in Computer Science, pages 468–481. Springer-Verlag, 1996.

    Google Scholar 

  19. F. N. Afrati, T. Andronikos, and T. G. Kavalieros. On the expressiveness of first-order constraint languages. In Proceedings of the 1st Workshop on Constraint Databases and Applications (CDB’95), volume 1034 of Lecture Notes in Computer Science, pages 22–39. Springer-Verlag, 1995.

    Google Scholar 

  20. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial query languages. In 4th Symposium on Large Spatial Databases (SSD’95), volume 951 of Lecture Notes in Computer Science, pages 14–28. Springer-Verlag, 1995.

    Google Scholar 

  21. F. N. Afrati, S. S. Cosmadakis, S. Grumbach, and G. M. Kuper. Linear vs polynomial constraints in database query languages. In Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP’94), volume 874 of Lecture Notes in Computer Science, pages 181–192. Springer-Verlag, 1994.

    Google Scholar 

  22. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP’96), volume 1118 of Lecture Notes in Computer Science, pages 468–481. Springer-Verlag, 1996.

    Google Scholar 

  23. L. Vandeurzen, M. Gyssens, and D. Van Gucht. An expressive language for linear spatial database queries. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’98), pages 109–118. ACM Press, 1998.

    Google Scholar 

  24. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the expressiveness of linear-constraint query languages for spatial databases, 1999.

    Google Scholar 

  25. J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry, volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge. Springer-Verlag, 1998.

    Google Scholar 

  26. F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’97), pages 68–77. ACM Press, 1997.

    Google Scholar 

  27. L. Vandeurzen, M. Gyssens, and D. Van Gucht. An expressive language for linear spatial database queries. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’98), pages 109–118. ACM Press, 1998.

    Google Scholar 

  28. J. Paredaens, B. Kuijpers, G. M. Kuper, and Luc Vandeurzen. Euclid, Tarski and Engeler encompassed. In Proceedings of the 6th International Workshop on Database Programming Languages (DBPL’97), volume 1369 of Lecture Notes in Computer Science, pages 1–24. Springer-Verlag, 1997.

    Google Scholar 

  29. M. Benedikt and L. Libkin. Safe constraint queries. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’98), pages 99–108. ACM Press, 1998. Full version to appear in SIAM Journal on Computing.

    Google Scholar 

  30. M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. Journal of the ACM, 45 (1): 134, 1998.

    Article  MathSciNet  Google Scholar 

  31. M. Benedikt and L. Libkin. Safe constraint queries. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’98), pages 99–108. ACM Press, 1998. Full version to appear in SIAM Journal on Computing.

    Google Scholar 

  32. F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’97), pages 68–77. ACM Press, 1997.

    Google Scholar 

Download references

Authors
  1. Marc Gyssens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luc Vandeurzen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dirk Van Gucht
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Bell Labs/Lucent Technologies, 600 Mountain Avenue, 07974, Murray Hill, NJ, USA

    Gabriel Kuper  & Leonid Libkin  & 

  2. Department of Mathematics and Computer Science, University of Antwerp (UIA), Universiteitsplein 1, 2610, Wilrijk-Antwerp, Belgium

    Jan Paredaens

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gyssens, M., Vandeurzen, L., Van Gucht, D. (2000). Linear-Constraint Databases. In: Kuper, G., Libkin, L., Paredaens, J. (eds) Constraint Databases. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-04031-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-04031-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-08542-0

  • Online ISBN: 978-3-662-04031-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation