事务处理,数据库系统,原子性,一致性,隔离性,持久性