Skip to main content
SpringerLink
Log in

Euclid, Tarski, and Engeler encompassed

Preliminary report

  • Invited Talks
  • Conference paper
  • First Online:
Database Programming Languages (DBPL 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1369))

Included in the following conference series:

Abstract

The research presented in this paper is situated in the framework of constraint databases that was introduced by Kanellakis, Kuper, and Revesz in their seminal paper of 1990. In this area, databases and query languages are defined using read polynomial constraints. As a consequence of a classical result by Tarski, first-order queries in the constraint database model are effectively computable, and their result is within the constraint model.

In practical applications, for reasons of efficiency, this model is implemented with only linear polynomial constraints. Here, we also have a closure property: linear queries evaluated on linear databases yield linear databases. The limitation to linear polynomial constraints has severe implications on the expressive power of the query language, however. Indeed, the constraint database model has its most important applications in the field of spatial databases and, with only linear polynomials, the data modeling capabilities are limited and queries important for spatial applications that involve Euclidean distance are no longer expressible. The aim of this paper is to identify a class of two-dimensional constraint databases and a query language within the constraint model that go beyond the linear model. Furthermore, this language should allow the expression of queries concerning distance. Hereto, we seek inspiration in the Euclidean constructions, i.e., constructions by ruler and compass. In the course of reaching our goal, we have studied three languages for ruler-and-compass constructions.

Firstly, we present a programming language. We show that this programming language captures exactly the ruler and compass constructions that are also expressible in the first-order constraint language with arbitrary polynomial constraints. If our programming language is extended with a while operator, we obtain a language that is complete for all ruler-and-compass constructions in the plane, using techniques of Engeler.

Research conducted while the author was at the Université Libre de Bruxelles. His work was supported by the ULB and the FNRS.

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.

References

  1. D. Abel and B.C. Ooi, editors. Proceedings of the 3rd International Symposium on Spatial Databases, volume 692 of Lecture Notes in Computer Science, Berlin, 1993. Springer-Verlag.

    Google Scholar 

  2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.

    Google Scholar 

  3. F. Afrati, T. Andronikos, and T. Kavalieros. On the expressiveness of first-order constraint languages. In G. Kuper and M. Wallace, editors, Proceedings of the 1st Workshop on Constraint Databases and their Applications, volume 1034 of Lecture Notes in Computer Science, pages 22–39, Berlin, 1995. Springer-Verlag.

    Google Scholar 

  4. F. Afrati, S. Cosmadakis, S. Grumbach, and G. Kuper. Linear versus polynomial constraints in database query languages. In A. Borning, editor, Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science, pages 181–192, Berlin, 1994. Springer-Verlag.

    Google Scholar 

  5. J. Bochnak, M. Coste, and M.F. Roy. Géométrie Algébrique Réelle. Springer-Verlag, Berlin, 1987.

    Google Scholar 

  6. A. Buchmann, editor. Proceedings of the 1st International Symposium on Spatial Databases, volume 409 of Lecture Notes in Computer Science, Berlin, 1989. Springer-Verlag.

    Google Scholar 

  7. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In H. Brakhage, editor, Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, pages 134–183, Berlin, 1975. Springer-Verlag.

    Google Scholar 

  8. 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, pages 68–77, New York, 1997. ACM Press.

    Google Scholar 

  9. M.J. Egenhofer and J.R. Herring, editors. Proceedings of the 4th International Symposium on Spatial Databases, volume 951 of Lecture Notes in Computer Science, Berlin, 1995. Springer-Verlag.

    Google Scholar 

  10. E. Engeler. Remarks on the theory of geometrical constructions. In A. Dold and B. Echraun, editors, The Syntax and Semantics of Infinitary Languages, volume 72 of Lecture Notes in Matemathics, pages 64–76, Berlin, 1968. Springer-Verlag.

    Google Scholar 

  11. E. Engeler. Foundations of Mathematics. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  12. Euclid. Euclides Elementorum Geometricorum Lib. XV. Basileae: Apud Iohannem Hervagium, 1537.

    Google Scholar 

  13. S. Grumbach. Implementing linear constraint databases. In V. Gaede, A. Brodsky, O. Günther, D. Srivastava, V. Vianu, and M. Wallace, editors, Proceedings of the 2nd Workshop on Constraint Databases and Applications, volume 1191 of Lecture Notes in Computer Science, pages 105–115, Berlin, 1997. Springer-Verlag.

    Google Scholar 

  14. S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. Dedale, a spatial constraint database. In this volume.

    Google Scholar 

  15. S. Grumbach and J. Su. Finitely representable databases. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 289–300, New York, 1994. ACM Press.

    Google Scholar 

  16. S. Grumbach and J. Su. Towards practical constraint databases. In Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 28–39, New York, 1996. ACM Press.

    Google Scholar 

  17. S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151–181, 1997.

    Google Scholar 

  18. S. Grumbach, J. Su, and C. Tollu. Linear constraint query languages: Expressive power and complexity. In D. Leivant, editor, Proceedings of the Logic and Computational Complexity Workshop, volume 960 of Lecture Notes in Computer Science, pages 426–446. Springer-Verlag, 1994.

    Google Scholar 

  19. O. Günther and H.-J. Schek, editors. Proceedings of the 2nd International Symposium on Spatial Databases, volume 525 of Lecture Notes in Computer Science, Berlin, 1991. Springer-Verlag.

    Google Scholar 

  20. T. Heath. The thirteen books of Euclid's Elements. Dover, New York, 1956.

    Google Scholar 

  21. D. Hilbert. Grundlagen der Geometrie. Springer-Verlag, Berlin, 1930.

    Google Scholar 

  22. J.E. Hopcroft and J.D Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979.

    Google Scholar 

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

    Google Scholar 

  24. J. L. Lassez. Querying constraints. In Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 288–298, New York, 1990. ACM Press.

    Google Scholar 

  25. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 279–288, New York, 1994. ACM Press.

    Google Scholar 

  26. M.F. Preparata and M.I. Shamos. Computational Geometry. Springer-Verlag, New York, 1985.

    Google Scholar 

  27. J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255–352, 1989.

    Google Scholar 

  28. M. Scholl and A. Voisard, editors. Proceedings of the 5th International Symposium on Spatial Databases, volume 1262 of Lecture Notes in Computer Science, Berlin, 1997. Springer-Verlag.

    Google Scholar 

  29. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 1951.

    Google Scholar 

  30. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial query languages. In M.J. Egenhofer and J.R. Herring, editors, Proceedings of the 4th International Symposium on Spatial Databases, volume 951 of Lecture Notes in Computer Science, pages 14–28, Berlin, 1995. Springer-Verlag.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Math. & Computer Sci., University of Antwerp (UIA), Universiteitsplein 1, B-2610, Antwerp, Belgium

    Jan Paredaens & Bart Kuijpers

  2. Bell Laboratories, 700 Mountain Avenue, 07974, Murray Hill, NJ, USA

    Gabriel Kuper

  3. Dept. WNI, University of Limburg (LUC), B-3590, Diepenbeek, Belgium

    Luc Vandeurzen

Authors
  1. Jan Paredaens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bart Kuijpers
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gabriel Kuper
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Luc Vandeurzen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Sophie Cluet Rick Hull

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paredaens, J., Kuijpers, B., Kuper, G., Vandeurzen, L. (1998). Euclid, Tarski, and Engeler encompassed. In: Cluet, S., Hull, R. (eds) Database Programming Languages. DBPL 1997. Lecture Notes in Computer Science, vol 1369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64823-2_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-64823-2_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64823-9

  • Online ISBN: 978-3-540-68534-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation