关系的数据结构及形式化定义
关系模型中,现实世界的实体以及其间各种联系均用单一的结构类型,即“关系”来表示
几个概念
域:一组具有相同数据类型的值的集合
笛卡尔积:
域上的一种运算的集合,若干关系经过笛卡尔积运算得到一个新的关系(表),该关系的每一条记录(行)都是以前所有关系(表)的每条记录(行)的全排列组合。
此新关系包括了涵盖了之前若干关系(表)中的所有信息。
表X有a行b列,表Y有m行n列,笛卡尔积X*Y有a*m行,b+n列
关系的度:属性个数(列)
关系的基数:元组个数(行)
候选码:某一个可以唯一标识一个元组,而其子集不能做到的属性组
主属性/非主(码)属性:候选码中的属性/不在候选码中的属性
主码:候选码中选定的其中之一
全码:关系中的所有属性均为候选码
关系的类型
基本关系(基本表):实际存储数据的逻辑表示,实际存在
查询表:查询结果对应的表
视图表:由基本表或其他视图表导出的表,是虚表,不对应实际存储数据
基本关系的性质