事务有严格的定义，它必须满足 （ ）  特性，也是人们俗称的ACID标准。