Types for data-oriented languages

  • Luca Cardelli
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Albano Cardelli Orsini 85]
    A. Albano, L. Cardelli, R. Orsini: Galileo: a strongly typed, interactive conceptual language, Transactions on Database Systems, June 1985, 10(2), pp. 230–260.CrossRefGoogle Scholar
  2. [Atkinson Bailey Chisholm Cockshott Morrison 83]
    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. [Buneman Ohori 87]
    P.Buneman, A.Ohori: Using powerdomains to generalize relational databases, submitted for publication.Google Scholar
  4. [Cardelli 84]
    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. [Cardelli 88]
    L.Cardelli: Structural subtyping and the notion of power type, Proc. POPL 1988.Google Scholar
  6. [Cardelli Wegner 85]
    L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471–522, December 1985.CrossRefGoogle Scholar
  7. [McCracken 79]
    N.McCracken: An investigation of a programming language with a polymorphic type structure, Ph.D. Thesis, Syracuse University, June 1979.Google Scholar
  8. [Mitchell Plotkin 85]
    J.C.Mitchell, G.D.Plotkin: Abstract types have existential type, Proc. POPL 1985.Google Scholar
  9. [Mylopoulos Bernstein Wong 80]
    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. [Ohori 87]
    A. Ohori: Orderings and types in databases, Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987.Google Scholar
  11. [PPRG 85]
    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. [Smith Fox Landers 83]
    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. [Schmidt 77]
    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

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Luca Cardelli
    • 1
  1. 1.Digital Equipment Corporation, Systems Research CenterPalo Alto

Personalised recommendations