A semantics of object-oriented sets

H. Balsters, C.C. de Vreeze

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

19 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