时态强简单候选关键字算法研究-计算机应用研究.pdfVIP

第３３卷第４期 计 算 机 应 用 研 究 Ｖｏｌ．３３Ｎｏ．４ ２０１６年４月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ａｐｒ．２０１６ 时态强简单候选关键字算法研究 万　静，张晓东，刘　芳，何云斌 （哈尔滨理工大学计算机科学与技术学院，哈尔滨 １５００８０） 摘　要：在实际应用系统设计中，根据应用环境要设计时态模式，并对模式进行规范化处理。无论需要满足哪 种范式，都涉及候选关键字问题，目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式 ＴＥＫＮＦ和ＴＳＮＦ。在此基础上，在强全序模块模式下提出了时态强简单候选关键字的概念，给出了明确的定义， 并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法；对算法的可终止性、正确性进行了证明， 并对算法的复杂度进行了分析，同时初步定义了相对应的时态强简单范式。 关键词：时态模式；时态模式规范化；强全序模块模式；时态强简单候选关键字 中图分类号：ＴＰ３９１．４３　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１６）０４０９９３０４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１６．０４．００７ Ｒｅｓｅａｒｃｈｏｆｔｅｍｐｏｒａｌｓｔｒｏｎｇｓｉｍｐｌｅｃａｎｄｉｄａｔｅｋｅｙａｌｇｏｒｉｔｈｍ  ＷａｎＪｉｎｇ，ＺｈａｎｇＸｉａｏｄｏｎｇ，ＬｉｕＦａｎｇ，ＨｅＹｕｎｂｉｎ （ＩｎｓｔｉｔｕｔｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，ＨａｒｂｉｎＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，Ｈａｒｂｉｎ１５００８０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎｒｅａｌａｐｐｌｉｃａｔｉｏｎｓｙｓｔｅｍｄｅｓｉｇｎ，ｔｈｅｒｅｓｅａｒｃｈｅｒｓｓｈｏｕｌｄｄｅｓｉｇｎｔｅｍｐｏｒａｌｓｃｈｅｍｅａｃｃｏｒｄｉｎｇｔｏｔｈｅａｐｐｌｉｃａｔｉｏｎｅｎｖｉ ｒｏｎｍｅｎｔ，ａｎｄｍａｋｅｉｔｎｏｒｍａｔｉｖｅ．Ｎｏｍａｔｔｅｒｗｈｉｃｈｎｏｒｍａｌｆｏｒｍｎｅｅｄｅｄｔｏｍｅｅｔ，ｔｈｅｉｓｓｕｅｏｆｃａｎｄｉｄａｔｅｋｅｙｗｏｒｄｓｗａｓｉｎｖｏｌｖｅｄ． ＴｅｍｐｏｒａｌｅｌｅｍｅｎｔａｒｙｃａｎｄｉｄａｔｅｋｅｙｃｏｒｒｅｓｐｏｎｄｉｎｇｔｏＴＥＫＮＦａｎｄｔｈｅｔｅｍｐｏｒａｌｓｉｍｐｌｅｃａｎｄｉｄａｔｅｋｅｙｃｏｒｒｅｓｐｏｎｄｉｎｇｔｏＴＳＮＦｈａｄ ｂｅｅｎｐｒｏｐｏｓｅｄａｌｒｅａｄｙ．Ｂａｓｅｄｏｎｉｔ，ｔｈｉｓｐａｐｅｒｇａｖｅｔｈｅｄｅｆｉｎｉｔｅｃｏｎｃｅｐｔｉｏｎｏｆｔｅｍｐｏｒａｌｓｔｒｏｎｇｓｉｍｐｌｅｃａｎｄｉｄａｔｅｋｅｙｕｎｄｅｒ ｓｔｒｏｎｇｔｏｔａｌｌｙｏｒｄｅｒｅｄｔｅｍｐｏｒａｌｍｏｄｕｌｅｓｃｈｅｍｅ．Ｉｔａｌｓｏｇａｖｅｓｔｒｏｎｇｔｏｔａｌｌｙｏｒｄｅｒｅｄｃａｎｄｉｄａｔｅｋｅｙａｌｇｏｒｉｔｈｍａｎｄｔｈｅｓｔｒｏｎｇｓｉｍｐｌｅ ｃａｎｄｉｄａｔｅｋｅｙｓｅｔａｌｇｏｒｉｔｈｍ．Ｉｔｐｒｏｖｅｄｔｈｅａｌｇｏｒｉｔｈｍｓ’ｔｅｒｍｉｎａｔｉｏｎａｎｄｃｏｒｒｅｃｔｉｏｎａｎｄｄｉｓｃｕｓｓｅｄｔｈｅｉｒｃｏｍｐｌｅｘｉｔｉｅｓ．Ａｔｔｈｅ ｓａｍｅｔｉｍｅ，ｉｔａｌｓｏｇａｖｅｔｈｅｐｒｅｌｉｍｉｎａｒｙｄｅｆｉｎｉｔｉｏｎｏｆｔｅｍｐｏｒａｌｓｔｒｏｎｇｓｉｍｐｌｅｎｏｒｍａｌｆｏｒｍ． Ｋｅｙｗｏｒｄｓ：ｔｅｍｐｏｒａｌｓｃｈｅｍｅ；ｔｅｍｐｏｒａｌｓｃｈｅｍｅｎｏｒｍａｌｉｚａｔｉｏｎ；ｓｔｒｏｎｇｔｏｔａｌｌｙｏｒｄｅｒｅｄｔｅｍｐｏｒａｌｍｏｄｕｌｅｓｃｈｅｍｅ；ｔｅｍｐｏｒａｌ ｓｔｒｏｎｇｓｉｍｐｌｅｃａｎｄｉｄａｔｅｋｅｙ 集有绝大部分都能够满足全序关系。相较于强偏序而言，