Skip to main content
View expanded cover

On Conceptual Modelling pp 359–384Cite as

The Functional Data Model and its Uses for Interaction with Databases

  • Chapter

Part of the Topics in Information Systems book series (TINF)

Abstract

During the last decade, much research has been done in the field of data abstraction techniques in programming languages (see the chapter by Shaw), and higher-level data models for databases [CODD70] [CHEN76] [SS77b]. It is thus not surprising that researchers have begun to attempt to integrate databases and programming languages (i.e., by providing definitional and manipulative primitives for databases in the programming language that is consistent in philosophy with its existing data and control structures). The work in PASCAL/R (see the chapter by Mall, Reimer, and Schmidt) and PS-ALGOL [ACC82] are examples of such attempts made in the context of compiled, imperative (ALGOL-like) languages. This chapter describes our ideas on integrating databases into an interactive, applicative (Lisp-like) programming system.

Keywords

  • Programming Language
  • Query Language
  • Relational Algebra
  • Database Function
  • Abstract Data Type

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-1-4612-5196-5_13
  • Chapter length: 26 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   109.00
Price excludes VAT (USA)
  • ISBN: 978-1-4612-5196-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   149.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., J.D. Ullman, “Universality of Data Retrieval Languages,”Proc. 6th ACM Symposium on Principles of Programming Languages, 1979.

    Google Scholar 

  2. Ariav, G., H.L. Morgan, “MDM: Handling the Time Dimension in Generalized DBMSs,” Decision Sciences Working Paper 81-05-06, Wharton School, Univ. of Pennsylvania, 1981.

    Google Scholar 

  3. Arvind, (no initial), K. P. Gostelow, W. Plouffe, “The (Preliminary) Id Report,” Technical Report 114, Dept. of Information and Computer Science, Univ. of California, Irvine, 1978.

    Google Scholar 

  4. Atkinson, M., K. Chisholm, P. Cockshott, “PS-ALGOL: An ALGOL with a Persistent Heap,”SIGPLAN Notices, Vol. 17, No. 7, July 1982.

    Google Scholar 

  5. Backus, J., “Can Programming be Liberated from the von Neumann Style?,”Communications of the ACM, Vol. 21, No. 8 August 1978, pp. 613 – 641.

    MathSciNet  MATH  CrossRef  Google Scholar 

  6. Buneman, O.P., R.E. Frankel, R. Nikhil, “An Implementation Technique for Database Query Languages,”ACM Transactions on Database Systems,. Vol. 7, No. 2, June 1982.

    Google Scholar 

  7. Bobrow, D., Goldstein, I., “Representing Design Alternatives,”Proc. Society for Study of Artificial Intelligence and Simulation of Behavior Conference, Amsterdam, The Netherlands, July 1980.

    Google Scholar 

  8. Buneman, O.P., H.L. Morgan, “Alerting Techniques for Database Systems,”IEEE COMPSAC Conference, Chicago, Ill., November 1977.

    Google Scholar 

  9. Barge, W.H.,Recursive Programming Techniques, Addison-Wesley, Reading, Mass., 1975.

    Google Scholar 

  10. Burstall, R.M., D.B. MacQueen, D.T. Sanella, “HOPE: an Experimental Applicative Language,”Proc. Lisp Conference, Stanford, Calif., 1980.

    Google Scholar 

  11. Chamberlin, D.D., R.F. Boyce, “SEQUEL: a Structured English Query Language,”Proc. 1974 ACM SIGMOD International Conference on the Management of Data, 1974.

    Google Scholar 

  12. Chen, P.P.S., “The Entity-Relationship Model: Toward a Unified View of Data,”ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976.

    Google Scholar 

  13. CODA71] CODASYL Data Base Task Group, April 1971 Report.

    Google Scholar 

  14. Cold, E.F., “A Relational Model of Data for Large Shared Data Banks,”Communications of the ACM, Vol. 13, No. 6, June 1970, pp. 377–387.

    CrossRef  Google Scholar 

  15. Cold, E.F., “A Relational Model of Data for Large Shared Data Banks,”Communications of the ACM, Vol. 13, No. 6, June 1970, pp. 377–387.

    CrossRef  Google Scholar 

  16. Deutsch, L.P., E.A. Taft, “Requirements for and Experimental Programming Environment,” Xerox PARC Report CSL-80-10, 1980.

    Google Scholar 

  17. Friedman, D.P., D.S. Wise, “CONS Should Not Evaluate its Arguments,” inAutomata, Languages, and Programming, Edinburgh Univ. Press, Edinburgh, Scotland, 1976.

    Google Scholar 

  18. Gordon, M.J., A.J. Milner, C.P. Wadsworth, “Edinburgh LCF,” Lecture Notes in Computer Science, No. 78, Springer-Verlag, New York, 1979.

    Google Scholar 

  19. Hammer, M., D. McLeod, “The Semantic Data Model: a Modelling Mechanism for Database Applications,” Proc. 1978 ACM SIGMOD International Conference on the Management of Data, Austin, Texas, May–June 1978.

    Google Scholar 

  20. Hecht, M.S., L. Kershberg, “Update Semantics for the Functional Data Model,” Data Base Research Report No. 4, Bell Labs, Holmdell, N.J., 1981.

    Google Scholar 

  21. Held, G., M. Stonebraker, E. Wong, “INGRES: A Relational Database System,”Proc. AMPS 1975 National Computer Conference, Vol. 44, 1975.

    Google Scholar 

  22. Hoare, C.A.R., N. Wirth, “An Axiomatic Definition of the Programming Language PASCAL,”Acta Informatica, Vol. 2, No. 4, 1973, pp. 335–355.

    CrossRef  Google Scholar 

  23. Hevner, A.R., S.B. Yao, “Query Processing in Distributed Database Systems,”IEEE Transactions on Software Engineering, Vol. S.-5, No. 3, 1979.

    Google Scholar 

  24. Housel, B.C., “A Unified Approach to Data Conversion,”Proc. 3rd International Conference on Very Large Databases, Tokyo, Japan, 1977.

    Google Scholar 

  25. Islam, N., T.J. Myers, P. Broome, “A Simple Optimizer for FP-like Languages,”Proc. ACM Conference on Functional Programming and Architecture, New Hampshire, 1981.

    Google Scholar 

  26. Iverson, K.E., “Operators,” ACM Transactions on Programming Languages and Systems, Vol. 1, No. 2, 1979.

    Google Scholar 

  27. Keller, R.M., G. Lindstrom, “Parallelism in Functional Programming through Applicative Loops,” Technical Report, Univ. of Utah, 1980.

    Google Scholar 

  28. Kowalski, R., “Logic for Data Description,” in [GM78].

    Google Scholar 

  29. Kowalski, R., “Logic for Data Description,” in [GM78].

    Google Scholar 

  30. Kowalski, R., Logic for Problem Solving, Elsevier North-Holland, New York, 1979.

    MATH  Google Scholar 

  31. Landin, P.J., “The Next 700 Programming Languages,” Communications of the ACM, Vol. 9, No. 3, 1966.

    Google Scholar 

  32. Landin, P.J., “A Correspondence Between ALGOL 60 and Church’s Lambda Notation,” Communications of the ACM, Vol. 8, Nos. 2 and 3, 1965.

    Google Scholar 

  33. McCarthy, J., et al., LISP 1.5 Programmer’s Manual, MIT Press, Cambridge, Mass., 1962.

    Google Scholar 

  34. Milner, R., “A Theory of Type Polymorphism in Programming,” Journal of Computer and System Sciences, Vol. 17, 1978, pp. 348–375.

    MathSciNet  MATH  CrossRef  Google Scholar 

  35. Myers, T. J., Ph.D. Dissertation, Univ. of Pennsylvania, 1981.

    Google Scholar 

  36. Shipman, D. W., “The Functional Data Model and the Data Language DAPLEX,” ACM Transactions on Database Systems, Vol. 6, No. 1, March 1981.

    Google Scholar 

  37. Smith, J.M., S. Fox, T. Landers, “Reference Manual for ADAPLEX,” Technical Report CCA-81-02, Computer Corporation of America, Cambridge, Mass., 1981.

    Google Scholar 

  38. Smith, J.M., P.Y. Chang, “Optimizing the Performance of a Relational Algebra Database Interface,” Communications of the ACM, Vol. 18, No. 10, 1975.

    Google Scholar 

  39. Smith, J. M., D.C.P. Smith, “Database Abstractions: Aggregation and Generalization,” ACM Transactions on Database Systems, Vol. 2, No. 2, June 1977, pp. 105–133

    CrossRef  Google Scholar 

  40. Sibley, E.H., L. Kershberg, “Data Architecture and Data Model Considerations,” Proc. AFIPS National Computer Conference, Dallas, Texas, 1977.

    Google Scholar 

  41. Turner, D.A., “A New Implementation Technique for Applicative Languages,” Software -Practice & Experience, Vol. 9, No, l, 1979.

    Google Scholar 

  42. Turner, D. A., “The Semantic Elegance of Applicative Languages,” Proc. ACM Conference on Functional Programming and Archictecture, New Hampshire, 1981.

    Google Scholar 

  43. Wadler, P., “Applicative Style Programming, Program Transformation and List Operators,” Proc. ACM Conference on Functional Programming and Architecture, New Hampshire, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Pennsylvania, USA

    Peter Buneman & Rishiyur Nikhil

Authors
  1. Peter Buneman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rishiyur Nikhil
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Corporation of America, Four Cambridge Center, Cambridge, MA, 02142, USA

    Michael L. Brodie

  2. Department of Computer Science, University of Toronto, Toronto, Ontario, M5S 1A7, Canada

    John Mylopoulos

  3. Fachbereich Informatik, Universität Frankfurt, Dantestr. 9, 6000, Frankfurt, Germany

    Joachim W. Schmidt

Rights and permissions

Reprints and Permissions

Copyright information

© 1984 Springer-Verlag New York Inc.

About this chapter

Cite this chapter

Buneman, P., Nikhil, R. (1984). The Functional Data Model and its Uses for Interaction with Databases. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds) On Conceptual Modelling. Topics in Information Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5196-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-1-4612-5196-5_13

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4612-9732-1

  • Online ISBN: 978-1-4612-5196-5

  • eBook Packages: Springer Book Archive