Untitled Document

　　关系是一组域之笛卡尔积（Cartesian Product）的子集，给定一组域D₁,D₂,…,D_n (可包含相同域)，其笛卡尔积为：
　　　　D₁^*D₂^*…^*D_n = {(d₁,d₂,…,d_n) | d_i∈D_i, I=1,…,n}
　　其中，每一元素（d₁,d₂,…,d_n）称作一个n元组（Tuple）简称元组。一个关系R即为上述元组的集合，且R∈D₁^*D₂^*…^*D_n

　　就概念而言针对关系的性质，有必要进一步说明如下概念：
　　　　- 关系是元组的集合。因此各个元组在关系中的顺序是无关紧要的。然而有两点必须注意：其一就是在任何实际系统中一个关系的各元组是具备一定存储顺序的，而这顺序往往被用作索引的依据，在这种情况下元组的顺序对用户透明，从用户观点看来在逻辑上各元组并不具备顺序；其二就是在某些特殊场合，人们有必要强制元组具备顺序并人为地给每一元组加上序号。
　　　　- 属性和域在概念上是有区别的。属性从属于一定的域，反映了该域在描述关系中的应用。一般而言，域与一定的数据结构和值的集合相关联，而属性则与关系的语义相关联。从属于同一域的属性可有多个并可分别命名。
　　　　- 每一元组的任一属性值为概念上不可再分解的原子值。换言之，在关系二维表中每行每列位置上的值都是原子值，而不是集合、元组或其集合。满足这一条件的关系称作为规范化的关系。
　　　　- 允许属性值为空。即所谓的空值（Null Value），用以表达未知情况。空值的引入支持了对不完全信息的处理。对于谓词结构的回答也由"是"、"否"二值扩充到"是"、"否"、"不知道"三值。
　　　　- 键值或关键字。是唯一确定一元组的一个属性值或多个（以至全部）属性值之复合。