Types for data-oriented languages

  • Luca Cardelli
Invited Paper

DOI: 10.1007/3-540-19074-0_44

Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

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

Personalised recommendations