强偏序时态模式中数据依赖推导规则研究

摘要：

随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切.时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点.就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿.针对强偏序时态模式中的数据依赖问题进行了讨论,提出了强偏序时态模块模式、强偏序模式的时态类型集概念,给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用.

关键词：强偏序时态模块模式、强偏序模式的时态类型集、时态数据依赖、推导规则

所属期刊栏目：49

分类号：TP311(计算技术、计算机技术)

资助基金：黑龙江省自然科学基金F201014

在线出版日期：2013-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：194-197