时态强简单候选关键字算法研究

在实际应用系统设计中,根据应用环境要设计时态模式,并对模式进行规范化处理。无论需要满足哪种范式,都涉及候选关键字问题,目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上,在强全序模块模式下提出了时态强简单候选关键字的概念,给出了明确的定义,并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法;对算法的可终止性、正确性进行了证明,并对算法的复杂度进行了分析,同时初步定义了相对应的时态强简单范式。