本节书摘来华章计算机《SQL与关系数据库理论——如何编写健壮的SQL代码》一书中的第2章 ，第2.1节 C. J. Date 著 单世民 何英昊 许侃 译 更多章节内容可以访问云栖社区“华章计算机”公众号查看。
第2章
类型和域
A major purpose of type systems is to avoid embarrassing questions about representations, and to forbid situations in which these questions might come up.
——Luca Cardelli and Peter Wegner: “On Understanding Types, Data Abstraction, and Polymorphism” ACM Comp. Surv. 17, No. 4 (December 1985)
本章内容和本书的主题是“正切的”。“类型”肯定是根本性的概念，而且本章所讨论的思想肯定是重要的（也有助于消除一些常见的误解）；然而，类型理论并不特定于关系主题，而且类型相关的问题似乎也和SQL的日常使用没什么关系（至少表面上如此）。更进一步，尽管在此方面确实有些SQL问题，但就“关系化使用SQL”这个目标而言，我在此方面没法提供很多具体的建议（尽管你会看到一些）。所以你可以在第一次阅读本章时只是“简单扫一遍”，然后在吸收了后续章节中的更多内容后再重新阅读本章。
