书籍摘要

作者与出版信息

本书由数据库领域著名专家 C. J. Date 撰写，于 2016 年由 O’Reilly Media 出版。C. J. Date 是关系数据库技术的权威人物，其著作《An Introduction to Database Systems》广受欢迎。本书深入探讨了类型继承（Type Inheritance）与关系理论（Relational Theory）之间的关系，旨在为数据库设计和理论研究提供更深入的理解。

内容概述

本书围绕类型继承在关系数据库中的应用展开，分为五个主要部分，系统地介绍了类型继承的理论基础、实现方式以及与关系理论的结合。

第一部分：预备知识

• 第一章：介绍了关系模型的基础知识以及作者与 Hugh Darwen 合作的 The Third Manifesto（第三宣言）的背景。强调了类型继承在关系数据库中的自然性和重要性。
• 第二章：详细讨论了没有继承时的类型理论，包括值与变量的区别、类型的定义以及类型系统的必要性。
• 第三章：初步探讨了继承对类型理论的影响，介绍了继承的基本概念和模型。

第二部分：标量类型与单继承

• 第四章：正式提出了继承模型的 28 条处方（IM Prescriptions），为后续章节提供理论基础。
• 第五章至第九章：深入讨论了标量类型在单继承情况下的定义、值与变量的继承、通过约束进行特化等概念，并通过几何形状（如椭圆、圆、多边形等）的例子进行说明。

第三部分：标量类型与多继承

• 第十四章至第十六章：探讨了多继承的概念，分析了多继承中的类型表示、操作符继承等问题，并讨论了如何将单继承模型扩展到多继承。

第四部分：元组与关系继承

• 第十七章至第二十章：将继承模型扩展到元组和关系类型，讨论了元组 / 关系值的继承、变量的模型以及继承中的最大 / 最小类型等概念。

第五部分：其他方法

• 第二十一章：讨论了结构继承的概念，并将其与本书提出的继承模型进行了对比。
• 第二十二章：分析了 SQL 中的继承实现，指出了 SQL 在类型继承方面的不足。

核心观点

• 继承的自然性：继承是类型理论的自然扩展，类型可以被视为值的集合，子类型是父类型的子集，继承使得子类型能够继承父类型的属性和操作。
• 类型与关系模型的结合：通过继承模型，可以更好地将类型理论与关系模型结合起来，为关系数据库的设计和实现提供更强大的理论支持。
• 单继承与多继承：单继承和多继承各有优势，但多继承在某些情况下更为灵活，能够更好地模拟现实世界中的复杂关系。

适用读者

本书适合对数据库设计、类型理论和关系模型有深入了解的专业人士，尤其是数据库研究人员、数据库管理系统的设计者和开发者，以及对高级数据库概念感兴趣的学生。

总结

《Type Inheritance & Relational Theory》是一本深入探讨类型继承与关系理论结合的学术著作。作者通过丰富的例子和严谨的理论分析，展示了如何在关系数据库中实现和利用类型继承，为数据库领域的研究和实践提供了宝贵的参考。