填空题 数据的逻辑独立性是通过（）保证的。

单项选择题 概念模型独立于（）

问答题 下图中是基于检查点技术中5个事务的执行情况，当系统故障发生时，重启系统后恢复子系统对每个事务做什么样的操作？简要说明理由。