-
题名全序时态模块模式的TO_TSNF分解问题研究
被引量：7
- 1
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2007年第3期114-118,共5页
-
基金
黑龙江省自然科学基金资助项目(F00-06)。
-
文摘
在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时间粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有着良好的特性,因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式(TO_T3NF)和全序时态简单范式(TO_TSNF)等概念,并给出了全序时态简单范式的分解算法,对其正确性进行了证明,并对时间复杂度进行了分析。
-
关键词
全序时态模块模式
全序时态模块投影
全序时态简单范式
多时间粒度
-
Keywords
Total order temporal module schemes, Total order temporal module projection, Total order temporal SNF, Multiple time granularities
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名偏序环境下时态数据库中的TBCNF分解问题研究
被引量：4
- 2
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第9期3310-3313,共4页
-
基金
黑龙江省自然科学基金资助项目(F200601)
-
文摘
针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。
-
关键词
非严格偏序时态类型集
偏序时态模块模式
偏序时态BC范式
多时间粒度
-
Keywords
non-strict partial-order temporal type set
partial-order temporal module scheme.
partial-order temporal BCNF
multiple time granularities
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名强偏序时态模式中数据依赖推导规则研究
被引量：2
- 3
-
-
作者
万静
朱文博
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模块模式的TO_TBCNF分解问题研究
被引量：1
- 4
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
齐齐哈尔大学计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第28期5-8,33,共5页
-
基金
黑龙江省自然科学基金资助项目(编号:F00-06)
-
文摘
时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类型集的全序时态模块模式有着良好的特性,文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式(TO_TBCNF)等概念,并给出了全序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对时间复杂度进行了分析。
-
关键词
全序时态模块模式
时刻关系模式
全序时态BC范式
全序无损分解
多时间粒度
-
Keywords
total order temporal module schemes,tickwise relation scheme,total order temporal BCNF,total order lossless decomposition,multiple time granularities
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模式中时态函数依赖的覆盖问题研究
被引量：1
- 5
-
-
作者
万静
杨洪玉
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第12期4516-4519,共4页
-
基金
黑龙江省自然科学基金资助项目(F200601)
-
文摘
与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。
-
关键词
全序时态模块模式
全序无冗余覆盖
全序规范覆盖
全序最小覆盖
-
Keywords
totally-ordered temporal module scheme
totally-ordered no-redundant covering
totally-ordered canonical cove-ring
totally-ordered minimal covering
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名时态强简单候选关键字算法研究
- 6
-
-
作者
万静
张晓东
刘芳
何云斌
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机应用研究》
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
[自动化与计算机技术—计算机应用技术]
-
-
题名基数为M的时态候选关键字问题研究
- 7
-
-
作者
万静
刘芳
张晓东
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2015年第3期748-751,763,共5页
-
基金
黑龙江省自然科学基金资助项目(F201014)
黑龙江省教育厅科学技术研究项目(12511100)
-
文摘
为了更有效地研究时态数据库中各种时态依赖以及各属性之间的关系,对时态候选关键字的求解进行了研究,定义了时态准左部属性、时态准右部属性和时态纯双部属性等概念;结合关系数据库理论给出了时态最大相关块法求时态候选关键字,并对相关理论进行了证明,这对实现时态候选关键字的规范化问题具有重要的推动作用。
-
关键词
时态模块模式
时态候选关键字
时态准左部属性
时态准右部属性
-
Keywords
temporal module schemes
temporal candidate keys
temporal quasi left attributes
temporal quasi right attri-butes
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
