Skip to main content
SpringerLink
Log in

A Stack-Based Approach to Query Languages

  • Conference paper
East/West Database Workshop

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

Scoping, naming and binding are central concepts in the definition and understanding of programming languages. With the introduction of sophisticated data models, these issues become important for query languages as well. Additionally, the goal of integrating query and programming languages requires a common basis for their operational semantics. We offer here an approach to the definition of the operational semantics of query languages based on an abstract machine, in which names, their bindings, and scopes defined by query and data structure are central. The machine has own simple data model for its store, and has a stack for dealing with scopes. We argue for the generality of the approach and illustrate it by defining the semantics of many query language primitives. Finally, we briefly consider how assignment and procedures can be neatly added.

Work partially supported by a grant from the German-Israel Foundation for Scientific Research and Development.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

References

  1. A. Albano, L. Cardelli, R. Orsini. Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Transactions on Database Systems, Vol. 10, No 2, 1985, pp. 230–260

    Article  Google Scholar 

  2. C. Beeri. Formal Models for Object-Oriented Databases. Proc. 1st DOOD Conf., Kyoto, pp. 370–395, 1989.

    Google Scholar 

  3. A.I. Brown, R. Morrison. A Generic Persistent Object Store. FIDE, ESPRIT BRA Project 3070, Technical Report Series, FIDE/92/39, 1992

    Google Scholar 

  4. Language Reference Manual for INGRES/Windows 4GL for the UNIX and VMS Operating Systems. INGRES Release 6, Ingres Corporation, August 1990.

    Google Scholar 

  5. M. Kifer, W. Kim, Y. Sagiv. Querying Object-Oriented Databases. Proc. ACM SIGMOD Conf. pp. 393–402, 1992.

    Google Scholar 

  6. Kifer, M. and G. Lausen F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. Proc. SIGMOD Conf., June 1989, pp. 134–146.

    Google Scholar 

  7. F. Matthes, A. Rudloff, J.W. Schmidt, K. Subieta. The Database Programming Language DBPL, User and System Manual. FIDE, ESPRIT BRA Project 3070, Technical Report Series, FIDE/92/47, 1992

    Google Scholar 

  8. R. Morrison, F. Brown, R. Connor, A. Dearle. The Napier88 Reference Manual. Universities of St Andrews and Glasgow, Departments of Comp. Science, Persistent Programming Report 77, July 1989.

    Google Scholar 

  9. E.J. Moss. Design of the Mneme Persistent Object Store. ACM Transactions on Information Systems, Vol. 8, No. 2, April 1990, pp. 103–139

    Article  Google Scholar 

  10. J. Mylopoulos, P.A. Bernstein, H.K.T. Wong. A Language Facility for Designing Database-Intensive Applications. ACM Transactions on Database Systems, Vol. 5, No 2, 1980, pp. 185–207

    Article  Google Scholar 

  11. The 02 User Manual, Version 4.1. 02 Technology, Versailles, France, October 1992

    Google Scholar 

  12. A. Ohori, P. Buneman, V. Breazu-Tannen. Database Programming in Machiavelli–a Polymorphic Language with Static Type Inference. Proc. of ACM SIGMOD 89 Conf., 1989, pp. 46–57

    Google Scholar 

  13. J.W. Schmidt. Some high level language constructs for data of type relation. ACM Transactions on Database Systems, Vol.2, No 3, 1977, pp.247261

    Google Scholar 

  14. J.W. Schmidt, F Matthes. The Database Programming Language DBPL, Rationale and Report. FIDE, ESPRIT BRA Project 3070, Technical Report Series, FIDE/92/46, 1992

    Google Scholar 

  15. M. Stonebraker, L.A. Rowe, and M. Hirohama. The Implementation of POSTGRES. IEEE Transactions on Knowledge and Data Engineering, 2: 1, pp. 125–142, 1990.

    Article  Google Scholar 

  16. M. Stonebraker, L.A. Rowe, B. Lindsay, J. Gray, M. Carey, M. Brodie, P. Bernstein, D. Beech: The Committee for Advanced DBMS Function. Third-Generation Data Base System Manifesto. ACM SIGMOD Record 19 (3), pp. 31–44, 1990.

    Article  Google Scholar 

  17. K. Subieta. LOQIS: The Object-Oriented Database Programming System Proc.lst Intl. East/West Database Workshop on Next Generation Information System Technology, Kiew, USSR 1990 Springer Lecture Notes in Computer Science, Vol. 504, pp. 403–421, 1991.

    Article  Google Scholar 

  18. K. Subieta, C. Beeri, F. Matthes, J.W. Schmidt. A Stack-Based Approach to Query Languages. Institute of Computer Science Polish Academy of Sciences, Report 738, Warszawa, December 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237, Warszawa, Poland

    Kazimierz Subieta

  2. Institute of Computer Science, Hebrew University, Givat Ram, Jerusalem, 91904, Israel

    Catriel Beeri

  3. Department of Computer Science, University of Hamburg, Vogt-Kölln-Straße 30, D-22527, Hamburg, Germany

    Florian Matthes & Joachim W. Schmidt

Authors
  1. Kazimierz Subieta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catriel Beeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Florian Matthes
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Joachim W. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstrasse 65, A-9020, Klagenfurt, Austria

    Johann Eder

  2. Institute for Problems of Informatics, Russian Academy of Sciences, Vavilov Street, 30/6, 117900, Moscow, v-334, Russian Federation

    Leonid A. Kalinichenko

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Subieta, K., Beeri, C., Matthes, F., Schmidt, J.W. (1995). A Stack-Based Approach to Query Languages. In: Eder, J., Kalinichenko, L.A. (eds) East/West Database Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3577-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3577-7_12

  • Publisher Name: Springer, London

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

  • Online ISBN: 978-1-4471-3577-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation