原子性：记录之前的版本，允许回滚
一致性：事务开始和结束之间的中间状态不会被其他事务看到
隔离性：适当的破坏一致性来提升性能与并行度 例如：最终一致~=读未提交。
持久性：每一次的事务提交后就会保证不会丢失