acid:数据库事务正确执行的四个基本要素