【软考】4.3 模式分解/事务并发/封锁协议

《模式分解》

  • 保持函数依赖分解

【软考】4.3 模式分解/事务并发/封锁协议_第1张图片
【软考】4.3 模式分解/事务并发/封锁协议_第2张图片

  • 无损分解
  • 分解后可还原关系模式
  • 充分必要条件:R1∩R2 —>(R1 - R2) || R1∩R2—>(R2 - R1)
  • “R1 - R2” 即在R1筛选除了R2的元素
    【软考】4.3 模式分解/事务并发/封锁协议_第3张图片
    【软考】4.3 模式分解/事务并发/封锁协议_第4张图片

《并发控制》

  • 事务的四种特性:原子性、一致性、隔离性、持续性
  • Commit:提交
  • Rollback:回滚;容错语句
    【软考】4.3 模式分解/事务并发/封锁协议_第5张图片
  • 事务是并发控制的前提条件,并发控制就是控制不同的事务并发执行,提高系统效率
  • 但是并发控制存在以下三个问题(存在多个事务并发):

【软考】4.3 模式分解/事务并发/封锁协议_第6张图片

《封锁协议》

  • X锁:排他 / 写锁;只允许读取和修改;不允许添加任何锁
  • S锁:共享 / 读锁;只允许读取,不可修改;只运行添加S锁
    【软考】4.3 模式分解/事务并发/封锁协议_第7张图片
    【软考】4.3 模式分解/事务并发/封锁协议_第8张图片

你可能感兴趣的:(计算机软考,文档解析,MySQL,服务器,数据库,运维)