关系模式
关系
关系实例
E-R图
实体集(弱实体集,强实体集),联系集,属性集,(主码,候选码,超码),概括,特殊化,聚集(将实体集与属性及实体集的联系作为一个实体集),
关系模型
选择,投影,命名,(并,交,差),笛卡尔积,
模式分解:(1)无损连接(无信息丢失,适当的信息冗余),(2)保持所有函数依赖(Armstrong公理),(3)分解后的模式最好属于第三范式(3NF)
Armstrong公理:(1)自反律,(2)增补律,(3)传递律
Armstrong公理的三个扩充定律:(1)合并律,(2)分解律,(3)伪传递律
数据库范式:1,2,3范式
事务的:(1)原子性,(2)一致性,(3)隔离性
事务的:(1)中止,(2)回退,(3)提交
可串行调度
可恢复调度
无级联调度
并发控制
锁(排它锁,共享锁),死锁,饿死,两阶段封锁,严格两阶段锁(事务提交前不得释放排它锁),加强两阶段锁(事务提交前不得释放任何锁)