-
题名时态强简单候选关键字算法研究
- 1
-
-
作者
万静
张晓东
刘芳
何云斌
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2016年第4期993-996,共4页
-
基金
黑龙江省教育厅科学技术研究项目(12511100)
-
文摘
在实际应用系统设计中,根据应用环境要设计时态模式,并对模式进行规范化处理。无论需要满足哪种范式,都涉及候选关键字问题,目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上,在强全序模块模式下提出了时态强简单候选关键字的概念,给出了明确的定义,并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法;对算法的可终止性、正确性进行了证明,并对算法的复杂度进行了分析,同时初步定义了相对应的时态强简单范式。
-
关键词
时态模式
时态模式规范化
强全序模块模式
时态强简单候选关键字
-
Keywords
temporal scheme
temporal scheme normalization
strong totally ordered temporal module scheme
temporal strong simple candidate key
-
分类号
TP391.43
[自动化与计算机技术—计算机应用技术]
-
