Skip to main content
SpringerLink
Log in

Types for data-oriented languages

  • Invited Paper
  • Conference paper
  • First Online:
Book cover Advances in Database Technology—EDBT '88 (EDBT 1988)

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

Included in the following conference series:

Abstract

Data-oriented languages may benefit from a rich kind structure. We have shown that kinds can provides a framework for relational and database-wide operations, for subtype relations, for schema computations, and perhaps even for schema evolution.

Overview

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. A. Albano, L. Cardelli, R. Orsini: Galileo: a strongly typed, interactive conceptual language, Transactions on Database Systems, June 1985, 10(2), pp. 230–260.

    Article  Google Scholar 

  2. M.P.Atkinson, P.J.Bailey, K.J.Chisholm, W.P.Cockshott, R.Morrison: An approach to persistent programming, Computer Journal 26(4), November 1983.

    Google Scholar 

  3. P.Buneman, A.Ohori: Using powerdomains to generalize relational databases, submitted for publication.

    Google Scholar 

  4. L.Cardelli: A semantics of multiple inheritance, in Semantics of Data Types, G.Kahn, D.B.MacQueen and G.Plotkin Ed. Lecture Notes in Computer Science n.173, Springer-Verlag 1984.

    Google Scholar 

  5. L.Cardelli: Structural subtyping and the notion of power type, Proc. POPL 1988.

    Google Scholar 

  6. L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471–522, December 1985.

    Article  Google Scholar 

  7. N.McCracken: An investigation of a programming language with a polymorphic type structure, Ph.D. Thesis, Syracuse University, June 1979.

    Google Scholar 

  8. J.C.Mitchell, G.D.Plotkin: Abstract types have existential type, Proc. POPL 1985.

    Google Scholar 

  9. J.Mylopoulos, P.A.Bernstein, H.K.T.Wong: A language facility for designing database intensive applications, ACM Transactions on Database Systems 5(2), June 1980.

    Google Scholar 

  10. A. Ohori: Orderings and types in databases, Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987.

    Google Scholar 

  11. Persistent Programming Research Group: The PS-algol reference manual — second edition, Technical Report PPR-12-85, University of Glasgow, Dept. of Computing Science, Glasgow G12 8QQ, Scotland, 1985.

    Google Scholar 

  12. J.M. Smith, S. Fox, T. Landers: Adaplex: rationale and reference manual, second edition, Computer Corporation of America, Four Cambridge Center, Cambridge, Mass. 02142, 1983.

    Google Scholar 

  13. J.W. Schmidt: Some high level language constructs for data of type relation, ACM Transaction on Database Systems 2(3), pp. 247–281, September 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, 94301, Palo Alto, CA

    Luca Cardelli

Authors
  1. Luca Cardelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. Schmidt S. Ceri M. Missikoff

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cardelli, L. (1988). Types for data-oriented languages. In: Schmidt, J.W., Ceri, S., Missikoff, M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19074-0_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-19074-0_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-39095-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation