关系，表和封闭世界假定

关系

属性和标题

在关系理论中，属性（attribute）由名称和类型构成，属性的集合称为标题（heading）。下图中的标题有两个属性，分别是【学号/nvarchar(50)】和【姓名/nvarchar(50)】。 标题的属性数目称为标题的度（degree），下图中的标题度为 2。

元组和主体

用标题的每个属性产生一个值，这些值的集合就是元组（tuple），这些值称为元组的分量（component），上图中有两个元组。元组中分量的数目称为元组的度，图中两个元组的度都为 2，因此称为二元组。两个元组相等，当且仅当他们的标题相等，且每个属性的分量相等。

元组的集合称为主体（body）。

关系

标题和主体构成关系（relation）。在关系中，标题和主体的概念都依照数学上的集合论进行定义，因此，标题中没有重复的属性，且属性之间没有顺序；主体中没有重复的元组，且元组之间没有顺序。下图和上图是同一个关系，差别仅仅在于图的画法不同。

表和关系

关系型数据库是基于关系理论的。不严格的讲，表相当于关系，列相当于属性，行相当于元组。但是，表中的列和行都是有顺序的，并且允许重复的行存在。

闭合世界假定

元组表示一个命题

关系的标题是陈述事实的模板（谓词），上面的两幅图中，标题的含义可以解释成：

存在学生____，其学号为____

把元组代入模板后得到的是对一件事情的陈述（命题）。图中两个元组代表的命题分别陈述了两件事：

存在学生张三，其学号为 S01

存在学生李四，其学号为 S02

闭合世界假定

命题有真假之分，闭合世界假定是说，在特定时刻，凡是出现在关系主体中的命题都是真命题，凡是没有出现在关系主体中的命题都是假命题。闭合世界假定不是关系理论，而是设计理论。在闭合世界假定下，图中的学校只有两个学生，没有第三个。