域
域是一组具有相同数据类型的值的集合。基数是域中数据的个数
笛卡儿积
笛卡尔积直观意义是诸集合各元素间一切可能的组合，可表示为一个二维表。
关系
关系是笛卡尔积的有限集合
关系可以有三种类型：
基本表：实际存储数据的逻辑表示
查询表：查询结果对应的标
视图表：是虚表，由基本表或其他试图导出，不对应实际存储的数据
关系的基本性质：
列是同质的，每一列中的分量是同一类型的数据，来自同一个域。
不同的列可出自同一个域，其中的每一列称为一个属性，不同的属性要给予不同的属性名。
列的顺序无所谓，列的次序可以任意交换。
行的顺序无所谓，行的次序可以任意交换
任意两个元祖不能完全相同
分量必须取原子值，每一个分量都必须是不可分的数据项。这是规范条件中最基本的一条
几个术语：
若关系中的某一属性组的值能唯一识别一个元祖，则称该属性为候选码。
若一个关系有多个候选码，则选定其中一个作为主码。
候选码的诸属性称为非码属性
不包含在任何候选码中的属性称为非码属性
若关系模式的所有属性组是这个关系模式的候选码，则称为全码
关系模式
关系模式是型，关系是值。关系模式是对关系的描述。
