A Type System that Reconciles Classes and Extents

Peter Buneman, Atsushi Ohori

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We present a type system that naturally couples two different, and apparently contradictory, notions of inheritance that occur in object-oriented databases. To do this we distinguish between the type and a kind of a value: A type describes the entire structure of a value, while a kind describes only the availability of certain fields or methods. This distinction allows us to manipulate heterogeneous collections (collections of values with differing types) in a statically type-checked language. Moreover, the type system is polymorphic and types may be inferred using an extension of the technique used in ML. This means that it is easy to express general-purpose operations for the manipulation of heterogeneous collections. We believe that this system not only provides a natural approach to static type-checking in object-oriented databases; it also offers a technique for dealing with external databases in a statically typed language.
Original languageEnglish
Title of host publicationProceedings of 3rd International Workshop on Database Programming Languages
PublisherMorgan Kaufmann
Number of pages12
ISBN (Print)1-55860-242-9
Publication statusPublished - Aug 1991


Dive into the research topics of 'A Type System that Reconciles Classes and Extents'. Together they form a unique fingerprint.

Cite this