A semantics of object-oriented sets

H. Balsters, C.C. de Vreeze

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Downloads (Pure)

Abstract

An account is given of extending the well-known object-oriented type system of Luca Cardelli with set constructs and logical formalism. The system is based on typed &lgr;-notation, employing a subtyping relation and a powertype construct. Sets in this system are value expressions and are typed as some powertype. Sets are built up in a very general manner; in particular, sets can be described by (first-order) predicates. The resulting system, called LPT, is statically typecheckable (in a context of multiple inheritance) and is provided with a set-theoretic semantics. LPT can be used as a mathematical foundation for an object-oriented data model employing sets and constraints.
Original languageEnglish
Title of host publicationDatabase programming languages : bulk types & persistent data
Subtitle of host publicationhird International Workshop, August 27-30, 1991, Nafplion, Greece
EditorsParis C. Kanellakis, Joachim W. Schmidt
Place of PublicationSan Francisco, CA, USA
PublisherMorgan Kaufmann Publishers
Pages203-217
Number of pages15
ISBN (Print)1-55860-242-9
Publication statusPublished - Aug 1991
Event3rd International Workshop on Database Programming Languages, DBPL 1991: Bulk types and persistent data - Nafplion, Greece
Duration: 27 Aug 199130 Aug 1991
Conference number: 3

Workshop

Workshop3rd International Workshop on Database Programming Languages, DBPL 1991
CountryGreece
CityNafplion
Period27/08/9130/08/91

Keywords

  • DB-PRJTM: TWENTE-MILANO
  • DB-OODB: OBJECT-ORIENTED DATABASES

Fingerprint Dive into the research topics of 'A semantics of object-oriented sets'. Together they form a unique fingerprint.

  • Cite this

    Balsters, H., & de Vreeze, C. C. (1991). A semantics of object-oriented sets. In P. C. Kanellakis, & J. W. Schmidt (Eds.), Database programming languages : bulk types & persistent data: hird International Workshop, August 27-30, 1991, Nafplion, Greece (pp. 203-217). San Francisco, CA, USA: Morgan Kaufmann Publishers.