数据库事务和范式理解

前言

学习自用..网上大把资料,主要为了贴上自己理解.老实说标题和内容真难对的上..以后再修改下..2020年7月23日已改

事务的ACID

事务的atomicity,

每项事务 的全部操作,要么做了就成功,要么就失败了全部回滚,而不会存在中间状态.回滚通过undo log来实现,(为什么要有这个概念的,,有什么数据库的原子性的反例吗),(undolog可见性TODO)

consistency一致性

数据库的状态要是一致的,(Q:这里说的状态一致是什么呢),A:数据库的状态的一致指的是完整性约束,完整性约束说的是数据库不能有不规范的数据,(TODO,这里的完整性约束),很多地方写道:数据库的AID就是为了保证这个C的.(数据库概论第九章一致性的定义:数据库从一个状态转移到另一个一致性状态,这里的一致性指的是符合完整性约束)

这个具体定义太迷了...可以参考[如何理解数据库事务中的一致性的概念？ - 知乎 https://www.zhihu.com/question/31346392],我也不再深挖了...

isolation隔离性

隔离性好理解,每个事务之间互不影响,即一个数据库操作的结果不能被另一个事务干扰而导致结果错误,而隔离性的反例就是四种并发问题,貌似除了严格的锁协议,都会多多少少有隔离性问题

durability持久性

标准定义是:提交的会一直存在数据库中,不会丢失,,数据存在内存中是易失的,断电则没了,为了保证持久性,就要刷到硬盘中,,

持久性用用write ahead logging来保证,有一项即是在提交前先把redo log刷入磁盘来保证,提交的数据会被持久化到硬盘中

 

存数据的硬盘坏了的丢失导致丢失当然是不算的,但是这里说的是数据库的持久性,(网上说持久性是