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....

Full description

Bibliographic Details
Other Authors: Date, C. J., author (author)
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.