He has restored the database to the state before the bad application logic occurred. Erik verifies this by using data Studio Administrator to check the table row counts as follows.
他已经将数据库恢复到发生错误的应用程序逻辑之前的状态。
2
This method, based on combinational logic minimization, proposes a new idea to proceed state assignment according to constrained. relation of compressed state table.