دانلود کتاب Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability – وراثت نوع و نظریه رابطه ای: زیرگروه ها، ابرنوع ها و قابلیت جایگزینی

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. 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. For these reasons, many languages, including the standard database language SQL, have long supported such relationships. However, there doesnt seem to be any consensus in the community at large on a formal, rigorous, and abstract model of inheritance. This book proposes such a model, one that enjoys several advantages over other approaches, not the least of which it is that its fully compatible with the well known relational model of data.

Topics the model covers include:

• Both single and multiple inheritance
• Scalar, tuple, and relation inheritance
• Type lattices and union and intersection types
• Polymorphism and substitutability
• Compile time and run time binding

All of these topics are described in detail in the book, with numerous illustrative examples, exercises, and answers. The book also discusses several alternative approaches. In particular, it includes a detailed discussion and analysis of inheritance as supported in the SQL standard.

وراثت نوع آن پدیده ای است که طبق آن می توان گفت مثلاً هر مربع نیز یک مستطیل است و بنابراین خصوصیاتی که به طور کلی برای مستطیل ها اعمال می شود به طور خاص برای مربع ها صدق می کند. به عبارت دیگر، مربع ها زیرگروه مستطیل ها هستند و مستطیل ها ابرنوع مربع هستند. شناخت و عمل بر روی چنین روابط زیرمجموعه / ابرتایپ فواید بی‌شماری را به همراه دارد: مطمئناً می‌تواند در مدل‌سازی داده‌ها کمک کند، و همچنین می‌تواند استفاده مجدد از کد را در برنامه‌ها فراهم کند. به این دلایل، بسیاری از زبان ها، از جمله زبان استاندارد پایگاه داده SQL، مدت هاست که از چنین روابطی پشتیبانی می کنند. با این حال، به نظر نمی رسد در جامعه به طور کلی در مورد یک مدل رسمی، دقیق و انتزاعی از وراثت، اتفاق نظر وجود داشته باشد. این کتاب چنین مدلی را پیشنهاد می‌کند، مدلی که از مزایای متعددی نسبت به روش‌های دیگر برخوردار است، یکی از مهمترین آنها این است که کاملاً با مدل رابطه‌ای شناخته شده داده‌ها سازگار است.

موضوعاتی که مدل پوشش می‌دهد عبارتند از:< /p>

• هر دو وراثت تکی و چندگانه
• وارثیت اسکالر، تاپلی و رابطه ای
• شبکه های نوع و انواع اتحاد و تقاطع
• چند شکلی و قابلیت جایگزینی
• اجرای زمان و زمان اجرا

همه این موضوعات با مثال‌ها، تمرین‌ها و پاسخ‌های گویا به تفصیل در کتاب توضیح داده شده‌اند. این کتاب همچنین چندین رویکرد جایگزین را مورد بحث قرار می دهد. به ویژه، شامل یک بحث و تجزیه و تحلیل دقیق از وراثت است که در استاندارد SQL پشتیبانی می شود.