数据库原子性和隔离性可以推导出一致性吗