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.
|Title of host publication||Database programming languages : bulk types & persistent data|
|Subtitle of host publication||hird International Workshop, August 27-30, 1991, Nafplion, Greece|
|Editors||Paris C. Kanellakis, Joachim W. Schmidt|
|Place of Publication||San Francisco, CA, USA|
|Publisher||Morgan Kaufmann Publishers|
|Number of pages||15|
|Publication status||Published - Aug 1991|
|Event||3rd International Workshop on Database Programming Languages, DBPL 1991: Bulk types and persistent data - Nafplion, Greece|
Duration: 27 Aug 1991 → 30 Aug 1991
Conference number: 3
|Workshop||3rd International Workshop on Database Programming Languages, DBPL 1991|
|Period||27/08/91 → 30/08/91|
- DB-PRJTM: TWENTE-MILANO
- DB-OODB: OBJECT-ORIENTED DATABASES
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.