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 language | English |
|---|---|
| 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 |
| Pages | 203-217 |
| Number of pages | 15 |
| ISBN (Print) | 1-55860-242-9 |
| 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
| Workshop | 3rd International Workshop on Database Programming Languages, DBPL 1991 |
|---|---|
| Country/Territory | Greece |
| City | Nafplion |
| Period | 27/08/91 → 30/08/91 |
Keywords
- DB-PRJTM: TWENTE-MILANO
- DB-OODB: OBJECT-ORIENTED DATABASES