数据库的三级模式和两级映像图
数据模型的三要素：数据结构、数据操作、数据的完整性约束条件
数据库的三级模式和两级映像图
关系代数
函数依赖
平凡函数依赖：
规范化理论
1NF：每个属性都是不可再分的原子
2NF：不存在部分函数依赖
3NF：不存在传递函数依赖
BCNF：左边都是码
关系模式分解
无损连接性：用列表法判断。如果不是，就加上一个主键
保持函数依赖
事务
事务的四个特性
原子性：事务中的所有操作要么都做，要么都不做
一致性：
隔离性：一个事务的执行不能被其他事务干扰
持久性：事务的结果的永久性的
锁
排他锁（X锁）（写锁）：上锁后不允许其他事务读取和修改其值，不允许其他事务对其再次上锁
共享锁（S锁）（读锁）：上锁后只有当前事务可以读取其值，所有事务包括自己都不能修改其值，其他事务也可以对其再上共享锁
转储
静态转储：转储期间不允许数据库进行任何存、修改取操作
动态转储
海量转储：每次转储全部数据
增量转储：没吃转储上次转储后的数据
