再来用一下2 5节标量类型vs 非标量类型中定义元组变量的例子：VAR STV TUPLE { STATUS INTEGER , SNO CHAR , CITY CHAR , SNAME CHAR } ;你可能还记得，表达式TUPLE{}是对TUPLE类型生成器的调用

关键词： 类型 

SQL中涉及类型检查和型转的规则尤其是在字符串场合下的规则，要远比我到目前为止所假设的复杂，所以我要详细说说。实际上，在一本书中对这点最多只能说说皮毛，其基本的思想是：任何确定的字符串都由取自相关字符

关键词： 字符 

SQL只支持弱形式的强类型化（如果你明白我的意思的话）。具体说包括：BOOLEAN值只能赋值到BOOLEAN变量，并只能和BOOLEAN值比较。数字值只能赋值给数值变量，并且只能与数字值比较（此处的数字（numeric）指的是S

关键词： 类型 

SQL或多或少支持下列可自解释的系统定义标量类型（SQL也允许用户定义自己的类型，不过本章中基本上都会忽略用户定义类型）：BOOLEANINTEGERCHARACTER(n)SMALLINTCHARACTER VARYING(n)BIGINTCHARACTER LARGE O

关键词： 标量  类型 

通常，都会认为类型不是标量的就是非标量的。换言之，如果一个类型没有用户可见的分量，那么它就是标量的；否则它就是非标量的。某个类型T的值、变量、属性、运算符、参数及表达式是否是标量的，取决于类型T本身

关键词： 标量  类型 

现在开始，我要用类型代替域了。那么到底类型是什么？实质上，它就是已命名的、有限的值集合——某种特定类型的所有可能取值。比如，所有可能的整数，所有可能的字符串，所有可能的供应商编号，所有可能的XML文档

关键词： 类型 

希望前面一节能使你确信域实际上就是类型。现在我要转到数据值原子性以及相关的第一范式概念（简称为1NF）。在第1章中，我说过1NF意味着每个关系的每个元组在每个属性的位置都只包含一个（正确类型的）单一值，并

关键词： 原子  数据 

尽管我刚刚说过要忽略用户定义类型，我在本节还是要假设关系变量S和SP中的供应商编号（SNO）属性是某种用户定义类型（或者是用户定义域），本书会出于简化目的将该类型称为SNO。类似的，假设关系变量P和SP中的零

关键词： 2  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

关键词： 概述 

1 1 （重复本章内容，不过此处稍有变化。）通览本章，找出所有本应使用术语关系变量但是却用了关系的地方。1 2 E F Codd是谁?1 3域是什么？1 4 你怎样理解参照完整性一词？1 5 本章中为关系值定义的术语

关键词： 练习题 

总的来说，本章的目标是告诉你应该掌握的知识（所以你可能会觉得这一章没讲什么技术内容）。咱们来简略地回顾一下：本章解释了为什么要关注原理而不是产品，还说明了为什么本书不使用在SQL中更为用户友好的术语而

关键词： 小结 

关系（relation）和关系变量（relvar）的逻辑差异实际上是通常意义下值与变量之间逻辑差异的特例。现在，谈谈通常意义下的情形（有点偏题，不过有必要这么做，因为清晰的思路在特别多的方面都非常有益）。下面给

关键词： 变量 

你可能早已知道本章讲过的所有内容；其实，我也希望如此，不过我可不希望你因此感到乏味。事实上，长久以来一直存在着另一个造成大量混淆的逻辑差异：关系和关系变量之间的差异。暂时先把数据库放在一边；想想下

关键词： 变量 

已经说过，关系代数的运算符使我们可以从某些指定的关系（比如图1 3中的那些关系）开始，然后用这些关系得到更多的关系（比如通过查询得到）。那些指定的关系称为基关系，而得到的那些关系称为导出关系。所以，为

关键词： 1  7  基关系vs  导出关系 

现在再重新检视一下基本的关系概念。在本节中，我要关注关系的一些具体性质。首先，每个关系都有一个标题（heading）和一个主体（body）：标题是属性的集合（对于属性，我指的是属性名 类型名配对，并且同一标题

关键词： 性质 

在继续深入之前，有必要对一点进行解释，因为此点是本书所有讨论内容的基础。关系模型当然是数据模型。不过，数据模型这个术语在数据库世界里面有两个截然不同的含义。第一个也是更为基本的含义如下：定义 数据

关键词： 模型 

最后，我要介绍一下本书绝大多数讨论所依据的示例：大家都很熟悉的（近乎陈腐的）suppliers-and-parts数据库（很抱歉，我又把这匹老战马拉出来了。不过，我相信使用这个在大量出版物中都用过的示例会有利于读者学

关键词： 示例 

关系模型的操作分为两部分：关系代数，即可用于关系的运算符的集合（比如，差或MINUS）。关系赋值运算符，此运算符允许将关系表达式（比如，r1 MINUS r2，其中r1和r2为关系）的值赋给关系。关系赋值运算符是关

关键词： 特征 

完整性约束（integrity constraint，简称为约束）基本上就是结果必须为TRUE的布尔表达式。以部门和员工为例，我们可以用一个约束，即SALARY值必须大于0。任何确定的数据库都要服从大量约束；然而，所有这些约束

关键词： 完整性  特征