|
|
|
|
|
|
|
（2）笛卡儿积：给定一组域D1，D2，…，Dn，这些域中可以是相同的。它们的笛卡儿积为：D1×D2×…×Dn=｛（d1，d2，…，dn）|dj∈Dj，j=1，2，…，n｝。其中每一个元素（d1，d2，…，dn）叫作一个n元组（简称为元组）。元组中的每一个值dj称为一个分量。
|
|
|
|
（3）关系：D1×D2×…×Dn的子集叫作在域D1，D2，…，Dn上的关系，用R（D1，D2，…，Dn）表示。这里R表示关系的名字，n是关系的目或度。
|
|
|
|
关系中的每个元素是关系中的元组，通常用t表示。关系是笛卡儿积的子集，所以关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。由于域可以相同，为了加以区分，必须为每列起一个名字，称为属性。
|
|
|
|
若关系中的某一属性组（一个或多个属性）的值能唯一地标识一个元组，则称该属性组为候选码（候选键）。若一个关系有多个候选码，则选定其中一个作为主码（主键）。主码的所有属性称为主属性。不包含在任何候选码中的属性称为非码属性（非主属性）。在最简单的情况下，候选码只包含一个属性。在最极端的情况下，关系模式所有属性的组合构成关系模式的候选码，称为全码。
|
|
|
|
关系可以有三种类型：基本关系（基本表、基表）、查询表和视图表。基本表是实际存在的表，它是实际存储数据的逻辑表示。查询表是查询结果对应的表。视图表是由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据。
|
|
|
|
|
|
（1）列是同质的，即每一列中的分量是同一类型的数据，来自同一个域。
|
|
|
|
（2）不同的列可出自同一个域，称其中的每一列为一个属性，不同的属性要给予不同的属性名。
|
|
|
|
|
|
（4）任意两个元组不能完全相同。但在大多数实际关系数据库产品中，例如Oracle等，如果用户没有定义有关的约束条件，它们都允许关系表中存在两个完全相同的元组。
|
|
|
|
|
|
（6）分量必须取原子值，即每一个分量都必须是不可分的数据项。
|
|
|
|
关系的描述称为关系模式，一个关系模式应当是一个五元组，它可以形式化地表示为：R（U，D，DOM，F）。其中R为关系名，U为组成该关系的属性名集合，D为属性组U中属性所来自的域，DOM为属性向域的映象集合，F为属性间数据的依赖关系集合。关系模式通常可以简记为R（A1，A2，…，An）。其中R为关系名，A1，A2，…，An为属性名。
|
|
|
|
关系实际上就是关系模式在某一时刻的状态或内容。也就是说，关系模式是型，关系是它的值。关系模式是静态的、稳定的，而关系是动态的、随时间不断变化的，因为关系操作在不断地更新着数据库中的数据。但在实际当中，常常把关系模式和关系统称为关系，读者可以从上下文中加以区别。
|
|
|
|
在关系模型中，实体以及实体间的联系都是用关系来表示。在一个给定的现实世界领域中，相应于所有实体及实体之间的联系的关系的集合构成一个关系数据库。
|
|
|
|
关系数据库也有型和值之分。关系数据库的型也称为关系数据库模式，是对关系数据库的描述，是关系模式的集合。关系数据库的值也称为关系数据库，是关系的集合。关系数据库模式与关系数据库通常统称为关系数据库。
|
|
|
