软考之数据库部分

考点：E-R模型、关系代数、元组演算、规范化理论（键、范式、模式分解）、并发控制等

 

• 三级模式：外模式、内模式、概念模式。

 

• 两级独立性：物理独立性（概念模式和内模式之间的映射转换），逻辑独立性（存在于外模式和概念模式之间的映射转换），逻辑独立性更难实现
• 数据模型：概念数据模型（实体-联系模型，简称E-R模型）、基本数据模型（用于DBMS的实现，常见有层次、网状、关系和面向对象）
• 数据模型的三要素：数据结构、数据操作和数据的约束条件

 

• E-R模型

1.实体：矩形框表示

2.联系：菱形框表示，有1对1、1对多（1：n）、多对多（m:n)三种联系类型

 

3.属性：实体某方面的特性，常见分类（简单和复合，单属性和多值属性，NULL属性，派生属性）

4.E-R方法：常用E-R图表示数据类型（主码部分属性下划线标明）

 

• 关系代数与元组运算

1.关系代数：并、交、差、笛卡尔积、选择、投影、连接、除法运算。（参见资料p110和教材p479-489）

2.元组运算：在元组演算中，元组演算表达式简称为元组表达式，其一般形式为{t|P（t）},其中，t是元组变量，表示一个元数固定的元组；

P是公式，在数理逻辑中也称为谓词，也就是计算机语言中的条件表达式。{t|P（t）}表示满足公式P的所有元组t的集合。

     在一个公式中，如果元组变量未用存在量词或全称量词等符号定义，那么称为自由元组变量，否则称为约束元组变量。