目录

  • 1 绪论
    • 1.1 数据库系统概述
      • 1.1.1 四个基本概念
      • 1.1.2 数据管理技术的产生和发展
    • 1.2 数据模型
      • 1.2.1 数据模型定义
      • 1.2.2 概念模型
      • 1.2.3 逻辑模型
    • 1.3 数据库系统的结构
    • 1.4 数据库系统的组成
    • 1.5 章节测验
    • 1.6 课程思政教学建议
  • 2 关系数据库
    • 2.1 关系数据库结构及形式化定义
    • 2.2 关系代数
    • 2.3 专门关系运算
    • 2.4 除运算和综合习题
    • 2.5 关系操作和完整性约束
    • 2.6 章节测验
    • 2.7 课程思政教学建议
  • 3 关系查询语言SQL
    • 3.1 数据定义语言
    • 3.2 数据增加
    • 3.3 数据修改
    • 3.4 数据查询
      • 3.4.1 单表查询
      • 3.4.2 多表连接查询
      • 3.4.3 集合查询
      • 3.4.4 分组聚集查询
      • 3.4.5 子查询
        • 3.4.5.1 ANY比较子查询
        • 3.4.5.2 IN子查询
        • 3.4.5.3 EXISTS子查询
    • 3.5 视图
      • 3.5.1 定义视图
      • 3.5.2 使用视图
    • 3.6 章节测验
  • 4 数据库安全性
    • 4.1 数据库安全性
    • 4.2 课程思政教学建议
  • 5 数据库完整性
    • 5.1 数据库完整性机制
    • 5.2 实体完整性
    • 5.3 参照完整性
    • 5.4 用户自定义完整性
    • 5.5 触发器
    • 5.6 完整性约束命名子句
    • 5.7 章节测验
  • 6 关系数据理论
    • 6.1 发现问题
    • 6.2 确定函数依赖
    • 6.3 判断最高属于第几范式
    • 6.4 Armstrong公理系统
    • 6.5 计算候选码
    • 6.6 求最小函数依赖集合
    • 6.7 模式分解算法
    • 6.8 判断是否无损分解
    • 6.9 综合问题求解
    • 6.10 章节测验
    • 6.11 课程思政教学建议
  • 7 数据库设计
    • 7.1 确定实体
    • 7.2 关系的多样性与多样约束
    • 7.3 数据库设计各个阶段
    • 7.4 数据库字典
    • 7.5 创建并检查ER模型
    • 7.6 将一对一关系ER模型映射为表
    • 7.7 将一对多及多对多关系ER模型映射为表
    • 7.8 为目标DBMS转换全局逻辑数据模型
    • 7.9 选择文件组织方式和索引
    • 7.10 设计用户视图
    • 7.11 引入受控冗余
    • 7.12 章节测验
  • 8 数据库编程
    • 8.1 数据库编程
  • 9 查询处理与查询优化
    • 9.1 查询处理步骤
    • 9.2 实现查询操作的算法示例
    • 9.3 查询优化的必要性
    • 9.4 关系代数语法树
    • 9.5 关系代数表达式等价变换规则
    • 9.6 关系代数优化算法示例
    • 9.7 章节测验
    • 9.8 课程思政教学建议
  • 10 备份与恢复
    • 10.1 事务的重要特性
    • 10.2 恢复实现技术
    • 10.3 事务故障恢复
    • 10.4 系统故障恢复
    • 10.5 章节测验
    • 10.6 课程思政教学建议
  • 11 并发控制
    • 11.1 为什么要进行并发控制
    • 11.2 封锁
    • 11.3 死锁
    • 11.4 可串行化调度
    • 11.5 两段锁协议
    • 11.6 章节测验
    • 11.7 课程思政教学建议
事务的重要特性