|
|
|
|
|
关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成。关系模型的数据结构单一，现实世界的实体以及实体间的各种联系均用关系来表示。在用户看来，关系模型中数据的逻辑结构是一张二维表。关系模型中常用的关系操作包括选择、投影、连接、除、并、交、差等查询操作，和增加、删除、修改操作两大部分。早期的关系操作能力通常用关系代数和关系演算来表示，关系代数是用对关系的运算来表达查询要求的方式，关系演算是用谓词来表达查询要求的方式。另外还有一种介于关系代数和关系演算之间的语言SQL，它不仅具有丰富的查询功能，而且具有数据定义和数据控制功能，是关系数据库的标准语言。
|
|
|
|
|
|
|
|
（1）域（Domain）：域是一组具有相同数据类型的值的集合。
|
|
|
|
（2）笛卡尔积（Cartesian Product）：给定一组域D1, D2，…，Dn，这些域中可以有相同的。D1，D2，…，Dn的笛卡尔积为：D1×D2×…×Dn=｛（d1，d2,…，dn） |di∈Di, i=1，2,…，n｝其中每一个元素（d1，d2，…，dn）叫做一个n元组或简称元组。元素中的每一个值di叫做一个分量。笛卡尔积可以用来表示二维表，表中的每行对应一个元组，每列对应一个域。
|
|
|
|
（3）关系（Relation）：D1×D2×…×Dn的子集叫做在域D1，D2，…，Dn上的关系，表示为R （D1, D2，…，Dn），这里R表示关系的名字，n是关系的目或度（Degree），关系中的每个元素是关系中的元组。
|
|
|
|
关系是笛卡尔积的有限子集，所以关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。一个元组就是该关系所涉及的属性集的笛卡尔积的一个元素。由于在笛卡尔积的定义中，域是可以相同的，所以为了加以区分，必须对每个列起一个名字，称之为属性，n目关系必须有n个属性。若关系中的某一属性组的值能够唯一标识一个元组，则称该属性组为候选码（Candidate Key）。若一个关系有多个候选码，则选定其中之一为主码（Primary Key）。主码的各个属性称为主属性（Prime Attribute）。不包含在任何候选码中的属性称为非码属性（Non-key Attribute）。当关系模式的所有属性组是这个关系模式的候选码时，称为全码（All-Key）。
|
|
|
|
|
|
|
|
若属性A是基本关系R的主属性，则属性A不能取空值。也就是说基本关系得所有主属性都不能取空值，而不仅是主码整体不能取空值。
|
|
|
|
|
|
现实世界中的实体之间往往存在某种联系，在关系模型中实体之间的联系用关系描述，这样就会存在着关系间的引用。例如，学生、课程、选课三个关系如下：
|
|
|
|
|
|
|
|
|
|
它们之间是多对多联系，存在着属性的引用，即选课关系引用了学生关系的主码和课程关系的主码，如画线所示。在选课关系中必须满足：①选课关系中的“学号”值必须是确实存在的学生的学号，即在学生关系中有该学生的记录；②选课关系中“课程号”也必须确实存在，即课程关系中有该课程的记录。也就是说，选课关系中某些属性的取值需要参照其他关系的属性的取值。
|
|
|
|
设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码KS相对应，则称F是基本关系R的外码，并称基本关系R为参照关系，基本关系S为被参照关系或目标关系，关系R和S不一定是不同的关系。在上例中，“学号”和“课程号”是选课关系的外码，学生关系和课程关系是被参照关系，选课关系是参照关系。
|
|
|
|
参照完整性规则：若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码KS相对应（关系R和S不一定是不同的关系），则对于R中每个元组在F上的值或者取空值或者等于S中某个元组的主码值。
|
|
|
|
|
|
用户定义的完整性就是针对某一具体关系数据库的约束条件。例如属性的取值范围、属性间必须满足一定的函数关系等。
|
|
|
