第五章 关系数据库理论关系模式设计引论函数依赖与规范化数据依赖的公理系统实例分析第八章 并发控制并发控制概述封锁封锁协议活锁和死锁并发调度的可串行性两段锁协议第十章 数据库完整性完整性概述完整性约束条件触发器技术实例分析
