Type inheritance and relational theory : subtypes, supertypes, and substitutability / C. J. Date.
| Author/creator | Date, C. J. author. |
| Format | Book |
| Publication | Sebastopol, CA : O'Reilly Media, [2016] |
| Copyright Date | ©2016 |
| Description | xxiii, 545 pages ; 23 cm |
| Subjects |
| 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. |
| General note | "Inheritance in "The third manifesto"" |
| General note | Includes index. |
| ISBN | 9781491959992 |
| ISBN | 1491959991 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9 .D3 D384 2016 | ✔ Available | Place Hold |