Programs should recover and leave the database in a consistent state.

• 程序应该恢复并且让数据库处于某种一致的状态下。