关系数据库逻辑设计

　　5.1 概述

　　5.2 基本概念

　　5.2.1 关系模型

　　1、 关系模型采用一个二维表格在计算机中组织、存储、处理和管理数据。

　　(1) 关系名(数据库名)：由字母数字组成;

　　(2) 属性名;

　　(3) 关系模式和关系：描述模式描述关系的静态结构，由模式名、关系模式所包含的属性及属性值所满足的条件组成模式定义。

　　(4) 元组：描述关系中的行;

　　(5) 域：它定义关系的每个属性取值的类型;

　　(6) 主码：能够惟一标识关系中每一个元组的属性或属性组;

　　(7) 关系的数学定义：关系模式是建立在集合集论的基础上的，用数学的概念定义关系有;

　　(A) 定义一：域是值的集合，同一个域中的值具有相同的数据类型;

　　(B) 定义二：

　　(C) 定义三：

　　(D) 当关系引用了属性名后关系具有以下属性：

　　[1] 不能有重复的元组;

　　[2] 元组上下无序;

　　[3] 按属性名引用时属性左右无序;

　　[4] 所有属性值都是原子项(不可再分);

　　(8) 总结：关系是一张二维表，表中的一行被称为一个元组，一列称为属性，由一组域值组成。关系是元组的集合，关系中的每个元组在数学上被定义为这个关系所涉及的全部域值中笛卡儿积的一个元素。

　　5.2.2 关系数据库

　　1、 关系数据库是按照二维表组织和存储的相互关联的关系的集合，关系数据库模式是关系模式的集合;

　　5.2.3 关系的完整性

　　1、 关系的完整性(完整性约束)：是对关系的某种约束规则和关系满足的定义。通常这组约束规则用来限定和检查数据库所含实例的合法性和正确性;

　　2、 完整性约束分静态和动态两种，静态完整性约束是基于关系模式的，主要有主码、外码约束和域约束组成;动态完整性约束是基于企业的业务规则的。

　　3、 静态完整性约束规则：

　　(1) 主码约束：主码必须满足：

　　(A) 惟一性：在一个关系中不存在两个元组，它们具有相同的主码值;

　　(B) 最小性：不存在从组成主码的属性集中去掉一个属性，还仍能保持数据的惟一性;

　　(2) 外码约束：

　　(3) 用户定义的完整性：