Type Inheritance and Relational Theory Date C. J.
Type Inheritance and Relational Theory Date C. J. 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…
Specifikacia Type Inheritance and Relational Theory Date C. J.
Type Inheritance and Relational Theory Date C. J.
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. Recognizing and acting upon such subtype / supertype relationships provides numerous benefits: Certainly it can help in data modeling, and it can also provide for code reuse in applications. In other words, squares are a subtype of rectangles, and rectangles are a supertype of squares.
However, there doesn't seem to be any consensus in the community at large on a formal, rigorous, and abstract model of inheritance. For these reasons, many languages, including the standard database language SQL, have long supported such relationships. This book proposes such a model, one that enjoys several advantages over other approaches, not the least of which it is that it's fully compatible with
Database in Depth - Date C. J.
Type Theory and Formal Proof
Theory of Type Design