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

作     者：万静 张晓东 刘芳 何云斌 Wan Jing;Zhang Xiaodong;Liu Fang;He Yunbin

作者机构：哈尔滨理工大学计算机科学与技术学院哈尔滨150080 

基　　金：黑龙江省教育厅科学技术研究项目(12511100) 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2016年第33卷第4期

页      码：993-996页

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

主 题 词：时态模式 时态模式规范化 强全序模块模式 时态强简单候选关键字 

学科分类：1305[艺术学-设计学类] 13[艺术学] 081104[081104] 08[工学] 0804[工学-材料学] 081101[081101] 0811[工学-水利类] 

D　O　I：10.3969/j.issn.1001-3695.2016.04.007

馆 藏 号：203859426...