Skip to main content
SpringerLink
Log in

A Functional Object Database Language

  • Conference paper
Database Programming Languages (DBPL-4)

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

Abstract

The language BCOOL is formally defined using a denotational semantics approach. BCOOL is a functional object database language with a very flexible, yet strong and statically checked, type system. Its main source of flexibility is its support for object evolution, that is, dynamic type changes of existing objects. Originally, BCOOL was used as a formal basis for a more traditional (relational algebra-style) database language, COOL. In this paper, though, BCOOL is presented on its own. The purpose being to compare with other functional languages and discuss the virtues and limitations that BCOOL and these functional languages have w.r.t. each other in terms of (i) the above-mentioned flexibility in the type system, which we consider essential for objects and (ii) the orthogonality of the language.

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. S. Abiteboul and C. Beeri. On the power of languages for the manipulation of complex objects. Technical Report 846, INRIA, Paris, May 1988.

    Google Scholar 

  2. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. In Proc. ACM SIGMOD Conf. on Management of Data,pages 159–173, Portland, June 1989. ACM, New York.

    Google Scholar 

  3. H. Balsters and C. C. de Vreeze. A semantic of object-oriented sets. In Proc. of 3rd Intl. Workshop on Database Programming Languages, pages 187–200, Nafplion, Greece, August 1991.

    Google Scholar 

  4. H. Balsters and M. M. Fokkinga. Subtyping can have simple semantics. Theoretical Computer Science, 87: 81–96, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  5. F. Bancilhon, T. Briggs, S. Khoshafian, and P. Valduriez. FAD, a powerful and simple database language. In Proc. Int. Conf. on Very Large Databases, pages 97–105, Brighton, September 1987.

    Google Scholar 

  6. C. Beeri. Formal models for object-oriented databases. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. 1st Int’l Conf. on Deductive and Object-Oriented Databases,pages 370–395, Kyoto, December 1989. North-Holland. Revised version appeared in “Data Knowledge Engineering”, Vol. 5, North-Holland.

    Google Scholar 

  7. P. Buneman and A. Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems,1993. to appear.

    Google Scholar 

  8. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17 (4): 471–522, December 1985.

    Article  Google Scholar 

  9. K.C. Davis and L.M.L. Delcambre. A denotational approach to object-oriented query language definition. In Proc. Int’l. Workshop on Specifications of Database Systems,Glasgow, Scotland, June 1991. Workshops in Computing, Springer.

    Google Scholar 

  10. D.H. Fishman, J. Annevelink, D. Beech, E. Chow, T. Connors, J.W. Davis, W. Hasan, C.G. Hoch, W. Kent, S. Leichner, P. Lyngbaek, B. Mahbod, M.A. Neimat, T. Risch, M.C. Shan, and W.K. Wilkinson. Overview of the iris dbms. In W. Kim and F.H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, chapter 10, pages 371–394. ACM Press, Addison-Wesley, New York, 1989.

    Google Scholar 

  11. R. Hull and R. King. Semantic database modeling: Survey, applications, and research issues. ACM Computing Surveys, 19 (3): 201–260, September 1987.

    Google Scholar 

  12. C. Laasch and M.H. Scholl. Generic update operations keeping object-oriented databases consistent. In Proc. of 2. GI Workshop Information Systems and Artificial Intelligence,pages 40–55, Ulm, Germany, February 1992. IFB 303, Springer Verlag, Heidelberg.

    Google Scholar 

  13. C. Laasch and M.H. Scholl. Deterministic semantics of set-oriented update sequences. In Proc. of the IEEE Conf. on Data Engineering, pages 4–13, Vienna, Austria, April 1993.

    Chapter  Google Scholar 

  14. M.V. Mannino, I.J. Choi, and D.S. Batory. The object-oriented functional data language. IEEE Transactions on Software Engineering,16(11):12581272, November 1990.

    Google Scholar 

  15. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Mass, 1990.

    Google Scholar 

  16. A. Ohori, P. Buneman, and B. Breazu-Tannen. Database programming in Machiavelli a polymorphic language with static type inference. In Proc. ACM SIGMOD Conf. on Management of Data, pages 46–57, Portland, OR, May-June 1989.

    Google Scholar 

  17. J. Richardson and P. Schwarz. Aspects: Extending objects to support multiple, independent roles. In Proc. ACM SIGMOD Conf. on Management of Data, pages 298–307, Denver, CO, May 1991.

    Google Scholar 

  18. H.-J. Schek and M. H. Scholl. The relational model with relation-valued attributes. Information Systems,11(2):137–147, jun 1986.

    Google Scholar 

  19. M. H. Scholl, C. Laasch, and M. Tresch. Updatable views in object-oriented databases. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proc. Int. Conf. on Deductive and Object-Oriented Databases (DOOD),pages 189207, Munich, Germany, December 1991. LNCS 566, Springer Verlag, Heidelberg.

    Google Scholar 

  20. M.H. Scholl, C. Laasch, C. Rich, H.-J. Schek, and M. Tresch. The COCOON object model. Technical Report 193, ETH Zürich, Dept. of Computer Science, 1992.

    Google Scholar 

  21. M.H. Scholl and H.-J. Schek. A relational object model. In S. Abiteboul and P.C. Kanellakis, editors, ICDT ‘80 — Proc. Intl. Conf. on Database Theory,pages 89–105, Paris, December 1990. LNCS 470, Springer Verlag, Heidelberg.

    Google Scholar 

  22. E. Sciore. Object specialization. ACM Trans. on Information Systems, 7: 103–122, April 1989.

    Article  Google Scholar 

  23. G.M. Shaw and S.B. Zdonik. A query algebra for object-oriented databases. In Proc. of the IEEE Conf. on Data Engineering, pages 154–162, Los Angelos, CA, February 1990.

    Google Scholar 

  24. J. E. Stoy. The Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge (Mass. ), 1977.

    Google Scholar 

  25. D.D. Straube and M.T. Ozsu. Queries and query processing in object-oriented databases. ACM Transactions on Office Information Systems, 8 (4): 387–430, October 1990.

    Article  Google Scholar 

  26. D.A. Turner. Miranda: A non-strict functional language with polymorphic types. In Proc. IFIP Int’l Conf. on Functional Programming Languages and Computer Architecture,Nancy, France, September 1985. LNCS 201, Springer.

    Google Scholar 

  27. K. Wilkinson, P. Lyngbaek, and W. Hasan. The Iris architecture and implementation. IEEE Trans. on Knowledge and Data Engineering,2(1):6375, March 1990. Special Issue on Prototype Systems.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science, Databases and Information Systems, University of Ulm, D 89069, Ulm, Germany

    Christian Laasch & Marc H. Scholl

Authors
  1. Christian Laasch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marc H. Scholl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, The Hebrew University of Jerusalem, 91904, Givat-Ram, Jerusalem, Israel

    Catriel Beeri PhD

  2. Research Institute for Mathematical Sciences, Kyoto University, Kitashirakawa, Sakyo-ku, 606-01, Kyoto, Japan

    Atsushi Ohori PhD

  3. Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, 10012-1185, New York, NY, USA

    Dennis E. Shasha PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laasch, C., Scholl, M.H. (1994). A Functional Object Database Language. In: Beeri, C., Ohori, A., Shasha, D.E. (eds) Database Programming Languages (DBPL-4). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3564-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3564-7_9

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19853-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation