关系模型三要素:关系(或者表)、关系运算和完整性约束。(基本结构、基本操作、完整性约束)
关系代数:基于集合的运算。
元组演算:基于逻辑的运算。
域演算:基于示例的运算。
软件系统的开发:数学描述->语言->软件系统
表/关系、标题/模式、行/元组/记录、列/属性、列名/属性名(!=域名)、列值。
域(值域):一组值的集合(列的取值范围)。
域的基数:域中元素的个数。
笛卡尔积:n个域形成的所有可能的元组。
(d1、d2、...dn)为一个元组。
n-元组(元组):笛卡尔积的每个元素(d1、d2、...dn)。
分量:元组(d1、d2、...dn)的每一个值。
关系:一组域D1、D2...Dn的笛卡尔积的子集。
关系模式/表标题:R(A1:D1,A2:D2,...An:Dn)简记为R(A1,A2,...An)。
(D1,D2,...Dn一般可以用数据的类型和长度表示)
关系的度/目:n的大小。(eg.3度/目关系)
关系的基数:关系中元组的个数。
关系的特性:列是同质的、不同的列可能来自同一个域、类位置互换性、行位置互换性、满足第一范式。
关系和表区别:关系不允许有相同元组,表允许有相同的行。
候选码/候选键:唯一标识一个元组的属性或属性组。
主码/主键:当有多个候选码时,可以选定一个作为主码。
主属性:包含在任何一个候选键中的属性。
非主属性:不包含在任何一个候选键中的属性。
全码:所有属性构成候选码。
外码/外键:其它关系S的候选键,可以是R中的主属性或非主属性。
两个关系通常通过外码连接。
实体完整性:关系的主码中的属性值不能为空值。
关系中可以有空值。
空值:不知道、不存在或无意义的值(用'?'表示,不参与运算)。
参照完整性:关系的外码可以取空值,若不取空值,则必须为另一个关系S的候选码中的某一个值。
用户自定义完整性:用户针对具体的数据库应用所定义的完整性约束条件。
实体完整性和参照完整性由DBMS系统自动支持。