表格 表格(或简称表)表示了用户的特定类型(Type)的一些实体表头由一些属性名(AttributeName)组成每个属性名对应于一列在表上属性名必须唯一不允许重名表体是由一些行或元组(tuple)或记录(record)组成一个元组对应于传统的文件结构中的一个记录一个记录含有若干个域(field)用以存储属性值(Attributevalue)一个元组对应于一个用户实体的出现(occurrence)表体中每一行和某一列的交叉点(相当于记录中的域)上保存一个属性值这个属性值叫做这一行(或这个实体出现)的相应属性值表体中每一列可以保存的值对应于某种属性类型(TypeofAttribute)也就是说这一列的属性值只能取这个属性类型的值某个属性所能取的所有值的集合叫做这个属性的值域(DomainofAttribute)类型和值域的对应关系是一对多的一个类型有一个值域但一个值域可以作为多个类型基名称不同但实质上值域一样实际上类型是对值域的命名能唯一标识一个元组的属性称之为关键属性(PrimaryKeyAttribute)或简称为主关键字(PrimaryKey)主关键字有时是由多个属性组成的此时的主关键字叫做组合关键字(ConˉcatenatedprimaryKey)有的时候表中必须由一些组合的主关键字才能唯一地标识一个元组也就是说不存在能作关键字的一个属性这时为了方便往往引入一个附加的属性并称之为外来关键字(ForeighKey)来作主关键字外来关键字为以后检索和查询带来了方便但也增加了信息冗余
表名、表头和表体 表名表头和表体在关系模型中具有不同的作用或功能因而也具有完全不同的性质表头是一个属性的集合它规定了表的结构表体是一个特殊的集体称作为关系(relation)关系模型中的关系一词就是指表体中的这个数学关系在关系数据库中表名对应于数据库名(或关系名)表头对应于数据描述(或结构描述)表体对应于数据库表体是数据库的内容及数据库操作的对象另外有两个概念必须加以强调:型(type)和值或出现(occurence)表头定义了实体(或元组)的型也就是说规定了实体(或元组)的值域而表体则给出了实体(或元组)的出现出现是型中的一个值
关系的数学定义 关系模型是建立在集合论(SetTheory)的基础之上的现在开始用集合论的术语来严格地定义数学上的关系即给出关系的数学定义定义域(Domain)是值(value)的集合
关系模型 关系模型由三部分组成:数据结构(即关系)关系操作关系的完整性下面将对这三个部分进行分别的讨论()单一的数据结构———关系在关系模型中无论是实体还是实体之间的联系均由单一的类型结构—关系来表示在前面已给出了关系和域的数学定义介绍了n元关系元组和属性等概念下面介绍关键字关系模式和关系数据库等一些基本概念关键字关系中的某一组属性若其值可以唯一地标识一个元组则称该属性组为一个候选关键字(CandidateKey)若一个关系有多个候选关键字则可以任选其中一个作为主关键字(PrimaryKey)主关键字中的诸属性被称为主属性关系模式关系的描述称为关系模式它包括:关系名组成关系的诸属性名属性到域的映象属性间的数据依赖关系等等所以关系模式由关系名诸属性名和属性到域的映象三个部分组成关系模式通常简记为R(AA…An)其中R是关系名AA…An为诸属性名属性到域的映象一般通过指定属性的类型和长度来说明某个关系模式在某一时刻所具有的状态是指关系的外延即元组的集合关系的外延内容有时简称为关系但关系模式和关系的内容有时也统称为关系读者可以从上下文中区别其确切的含义形象地说关系模式是关于表名和表头的描述而关系的内容是表体关系数据库在关系数据库中要分清型和值两个基本概念关系数据库的型是指数据库的结构描述它包括关系数据库名若干属性的定义以及这些属性上的若干关系关系模式亦称为数据库的内涵(Intension)数据库的值亦称为数据库的外延在关系数据库中内涵是比较稳定的它规定了外延的取值范围而外延却是随时间变化的这和在一般的形式逻辑中外延和内涵一一对应有所区别此处外延是指任意一个满足内涵的集合而不一定恒指满足内涵的最大的一个集合关系模式(即内涵)是稳定的;而关系的内容即外延却是随时间动态的变化而变化的数据库的结构(即模式)是稳定的;而数据库中的数据内容却在不断地更新