本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。

The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

youdao

目前实时数据库中的事务调度算法大多仅考虑数据的逻辑一致性，而忽略了满足时态的一致性。

However, almost all of the current transaction scheduling algorithms only take logic consistency of object into account, while ignoring temporal consistency.

youdao