-
题名强偏序时态模式中混合依赖集的成员籍问题
- 1
-
-
作者
万静
刘芳
-
机构
哈尔滨理工大学计算机科学与技术学院
上海微小卫星工程中心
-
出处
《计算机应用》
CSCD
北大核心
2015年第8期2345-2349,2414,共6页
-
基金
黑龙江省教育厅科学技术项目(12511100)
-
文摘
有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。
-
关键词
强偏序时态模式
时态函数依赖
时态多值依赖
混合依赖基
成员籍
-
Keywords
strong partial ordered temporal scheme
temporal functional dependency
temporal multi-valueddependency
mixed dependency base
membership
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名强偏序时态模式中数据依赖推导规则研究
被引量:2
- 2
-
-
作者
万静
朱文博
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
2013年第2期194-197,共4页
-
基金
黑龙江省自然科学基金(No.F201014)
-
文摘
随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,提出了强偏序时态模块模式、强偏序模式的时态类型集概念,给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。
-
关键词
强偏序时态模块模式
强偏序模式的时态类型集
时态数据依赖
推导规则
-
Keywords
strong partial-order temporal module scheme
temporal type sets of strong partial-order scheme
temporal data de,pendencies
derivation of rules
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-