【摘 要】
：
在实际应用系统设计中，根据应用环境要设计时态模式，并对模式进行规范化处理。无论需要满足哪种范式，都涉及候选关键字问题，目前已提出的时态初等候选关键字、时态简单候选关键字
【机 构】
：
哈尔滨理工大学 计算机科学与技术学院
论文部分内容阅读
在实际应用系统设计中，根据应用环境要设计时态模式，并对模式进行规范化处理。无论需要满足哪种范式，都涉及候选关键字问题，目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上，在强全序模块模式下提出了时态强简单候选关键字的概念，给出了明确的定义，并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法；对算法的可终止性、正确性进行了证明，并对算法的复杂度进行了分析，同时初步定义了相对应的时态强简单范式。
其他文献
本文首先讨论了成品油的运输方式及运输流程,分析了现有体系下成品油运输系统存在的弊端,并结合我国成品油配送的现状,讨论了成品油运输系统的数学模型,力求应用数学模型优化
目的 采用已建立的未成熟睾丸组织异体异位移植模型,研究受体小鼠激素水平变化对未成熟睾丸组织移植物生长发育的影响.方法 以免疫缺陷小鼠为受体,将新生1～2d龄昆明小鼠睾丸移
建立完善的跨区省输电交易价格体系、形成科学的跨区省输电交易价格机制,对促进我国跨区省输电交易的顺利开展具有重要意义。总结了国外跨区省输电交易价格体系的特点,并进一
以半夏Pinellia ternate(Thunb.) Breit的块茎为外植体,接种于附加了6-BA,NAA,2,4-D及其组合的MS培养基上,都能诱导出愈伤组织.结果表明:MS+1.0 mg/L 6-BA+1.5 mg/L NAA对半
为从杏树皮组织中获取高质量的可溶性总蛋白,选择经过冬季自然低温驯化的1 a生杏树新梢为试材,比较分析提取缓冲液中分别添加2%SDS,不同浓度的Tween 20,以及高浓度PVPP对可溶
采用加速溶剂萃取法提取、紫外分光光度法测定长白山野生泥胡菜中的总黄酮含量,用原子吸收分光光度法对泥胡菜中的 K、Ca、Na、Mg、Cu、Zn、Fe、Mn 8种元素含量进行分析测定.
简要介绍了农情遥感监测的国内外研究进展和应用领域.同时,分析了目前农情遥感监测的主要任务,结合兵团的地域特点和现有研究基础,对建立兵团农情遥感监测系统的必要性和可行
生物质混煤的灰分特性对混烧生物质锅炉的安全运行具有重要意义,以麦秆、杨木屑与典型烟煤分别制成单生物质和双生物质混煤,根据混煤中生物质的配比采用了分段式灰化温度制取
广告点击率是互联网广告投放的重要依据，有效地预测广告的点击率，对于提高广告投放的效率有着至关重要的作用。在训练点击率预测模型的过程中，往往面临着广告及用户的数量巨大以
目的:了解口腔黏膜病患者对生物反馈疗法的接受程度,分析其影响因素。方法:对205名口腔黏膜病患者进行生物反馈疗法的知识介绍及接受度调查。结果:被调查的口腔黏膜病患者中