数据库设计与开发复习整理

仅针对考试内容 自用

DBMS

是一个软件系统

两种数据模型：E/R 关系模式

ER图

多对多不带箭头

多对一指向一

一对一双向箭头

弱实体集：箭头指向其所依赖的实体

子类；用带isa的箭头从子类指向父类，只标明子类特有

函数依赖

函数依赖的概念：

在关系R中，如果当属性集X中所有属性值相同时，属性集Y中的所有属性值也相同，称关系R中存在函数依赖X->Y，简称FD

函数依赖的逻辑蕴含：

函数依赖集的闭包：F能推出的所有函数依赖的集合

属性集的闭包：X能推出的所有属性的集合

函数依赖的推理规则：

U是关系模式R上的属性集，F是R上成立的函数依赖集

阿姆斯特朗公理  完备性

自反（X,Y）->Y 平凡依赖

增广 X->Y======XZ->ZY

传递 X->Y,Y->Z====X->Z

合并性

X->Y,X->Z====X->YZ

分解性

X->YZ=====X->Y,X->Z

伪传递性

X->Y,WY->Z====WX->Z

复合性

X->Y,W->Z=====XW->YZ

通用一致性定理

X->Y,W->Z====X∪(W-Y)->YZ

函数依赖和关键码的联系：

候选码：能函数决定所有属性的最小属性组

超键：能函数决定所有属性的属性组

最小函数依赖集：

等价函数依赖集：两函数依赖集闭包相同

和F等价的最小函数依赖集G：

满足条件：1.G中没有冗余FD，2.G中每一个FD右边都是单属性，3. G中每一个FD左边没有冗余属性 

最小函数依赖集至少存在一个，但是不唯一

模式分解

关系模式有冗余问题就分解他

数据库模式：在计算机中数据并不是存储在泛关系中，而是存储在数据库中

无损分解：泛关系和数据库是否等价：是否表述同样的数据 ，先决条件存在泛关系假设

保持依赖：泛关系模式deFD和数据库模式的数据依赖是否等价

无损分解he保持依赖两者无联系

无损连接：

函数依赖右部分解：右部可分左部不可分，通常右部表示为单一属性集

键与超键：

超键：超键的属性可以推出关系的全部属性

键：最小超键集

依赖推导

闭包推导

根据传递性

或找X值相同时值相同的属性,看是否可以⽤已知的FD推导出来, 是则存在依赖

闭包计算

使用闭包判断属性集之间是否存在依赖关系

规范化

无损分解

证明NF

多值依赖

范式

范式理论

完全依赖

求闭包，求候选键，求最小函数依赖集

判断是否无损分解

判断是否保持函数依赖

范式判断

R分解成2NF，分解成3NF，分解成BCNF

关系代数

sql语句

约束和触发器

处理，视图，索引

授权

并发控制

加锁

事务处理

视图可串行化