软考之数据库部分

考点: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的集合。

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

 

原文地址:https://www.cnblogs.com/yanglei1004/p/11736940.html