数据库-第二章 关系数据库-2.1 关系数据结构及形式化定义

关系数据结构及形式化定义：

　　关系模型的数据结构非常简单，只包含单一的数据结构——关系

　　现实世界的实体以及实体间的各种联系均用关系来表示

• 关系的形式化定义：
  • 笛卡尔积：
    • 笛卡尔积可表示为一张二维表
    • 表中的每行对应一个元组，元组中的一个值叫做分量
    • 表中的每列对应一个域
  • 关系：关系是笛卡尔积的有限子集
  • 相关概念：
    • 域：是一组具有相同数据类型的值的集合
      • 例：整数、实数、介于某个取值范围的整数、指定长度的字符串集合、{‘男’，‘女’}等
    • 基数：一个域允许的不同取值个数
    • 属性：关系中不同列称为属性，每个属性有一个名字
    • 候选码：若关系中的某以属性组的值能唯一地标识一个元组，则称该属性组为候选码
    • 全码：关系模式的所有属性组是这个关系模式的候选码，称为全码
    • 主码：若一个关系有多个候选码，则选定其中一个为主码
    • 主属性：候选码的诸属性称为主属性
    • 非主属性(菲码属性)：不包含在任何候选码中的属性称为非主属性
• 关系的类型：
  • 查询表：是查询结果对应的表
  • 视图表：是由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据
  • 基本关系(基本表或基表)：
    • 性质：
      • 列是同质的（Homogeneous），即来自同一个属性 
        
      • 不同的列可出自同一个域，称其中的每一列为一个属性，不同的属性要给予不同的属性名
      • 列的顺序无所谓,，列的次序可以任意交换 
      • 任意两个元组的候选码不能相同
      • 行的顺序无所谓，行的次序可以任意交换
      • 分量必须取原子值，即每一个分量都是不可分的数据项(规范条件中最基本的一条)
• 关系模式：
  • 定义：关系模式是型，关系是值，关系模式是对关系的描述
    • 关系模式是对关系的描述，是静态的、稳定的
    • 关系是关系模式在某移时刻的状态或内容，是动态的、随时间不断变化的
    • 指出关系的元组集合的结构
      • 属性构成
      • 属性来自的域
      • 属性与域之间的映像关系
    • 划出完整性约束条件
  • 形式化定义：R(U，D，DOM，F)
    
    • R：关系名
    • U：组成该关系的属性名集合
    • D：U中属性所来自的域
    • DOM：属性向域的映像集合
    • F：属性间数据的依赖关系的集合
• 关系数据库：
  • 定义：在一个给定的应用领域中，所有关系的集合构成一个关系数据库
  • 型与值：
    • 型：关系数据库模式，是对关系数据库的描述 
    • 值：关系模式在某一时刻对应的关系的集合

 

参考-《数据系统概论(第五版)》-人民大学-王珊