Type inheritance and relational theory subtypes, supertypes, and substitutability : inheritance in The third manifesto
Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, and so properties that apply to rectangles in general apply to squares in particular. In other words, squares are a subtype of rectangles, and rectangles are a supertype of squares....
Other Authors: | |
---|---|
Format: | eBook |
Language: | Inglés |
Published: |
Sebastopol, CA :
O'Reilly Media
[2016]
|
Edition: | 1st edition |
Series: | Theory in practice series.
|
Subjects: | |
See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009630245206719 |
Table of Contents:
- Part 1. Preliminaries. Background
- Types without inheritance
- Types with inheritance
- The inheritance model
- Part 2. Scalar types, single inheritance. Basic definitions
- Scalar values with inheritance
- Scalar variables with inheritance
- Specialization by constraint etc.
- Equality comparisons etc.
- Treating and type testing
- Substitutability
- Union and dummy types
- Interlude : the S by C controversy
- Part 3. Scalar types, multiple inheritance. An overview of multiple inheritance
- IM prescriptions 8 - 9 revisited
- IM prescriptions 10 - 20 revisited
- Part 4. Tuple and relation inheritance. Tuple / relation values with inheritance
- Tuple / relation values with inheritance (cont.)
- Tuple / relation maximal and minimal types etc.
- Tuple / relation variables with inheritance
- Part 5. Other approaches. Structural inheritance
- Inheritance in SQL
- Appendix A. Encapsulation is a red herring
- Appendix B. Persistence not orthogonal to type.