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

• 作者: 万静 何云斌 刘芳 张晓东
• 来源期刊: 计算机应用研究
• 关键词: 时态模式 时态模式规范化 强全序模块模式 时态强简单候选
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 993-996
• 页数: 4页
• 分类号: TP391.43
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	万静	哈尔滨理工大学计算机科学与技术学院	57	266	10.0	13.0
2	何云斌	哈尔滨理工大学计算机科学与技术学院	59	346	11.0	15.0
3	刘芳	哈尔滨理工大学计算机科学与技术学院	13	41	3.0	6.0
4	张晓东	哈尔滨理工大学计算机科学与技术学院	3	6	2.0	2.0