问题：

[单选题] 数据库系统运行的基本工作单位是事务，事务相当于操作系统中的进程，是用户定义的一个数据库操作序列，这些操作序列要么全做要么全不做，是一个不可分割的工作单位。数据库的（ ）是指操作序列要么全做要么全不做。设计时用（ ）实现。数据库从一个一致性状态变到另一个一致性状态的性质称为（请作答此空）。设计时用（ ）检查实现。