?时态简单范式(Temporal Simple Normal Form)

...行了规 范化研究，提出了规范程度高于时态三范式低子时态Boyce—Code范式的时 态初等关键字范式（TEKNF）及时态简单范式（TSNF），并研究了时态初等关 键字范式和时态简单范式的分解问题，给出了相关分解算法，并对算法的可 终止性、正确性进行了证明，对时间...