-
题名具有全序时态类型集时态函数依赖集的研究
被引量:23
- 1
-
-
作者
姚春龙
郝忠孝
-
机构
哈尔滨工业大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第2期247-252,共6页
-
基金
黑龙江省自然科学基金~~
-
文摘
好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系,并且具有全序时态类型集的TFD集的推导规则与传统函数依赖(FDs)的Armstrong公理有着紧密的联系.通过分析TFDs与FDs之间存在的联系,利用传统FD集的相应算法,提出了成员籍、有限属性闭包等TFD集的一些重要算法.这些算法是时态数据库进一步规范化的基础.
-
关键词
全序时态类型集
时态函数依赖集
时态数据库
计算机
-
Keywords
Algorithms
Redundancy
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名时态类型集的封闭集
被引量:5
- 2
-
-
作者
姚春龙
郝忠孝
-
机构
哈尔滨工业大学计算机科学与技术学院
齐齐哈尔大学计算机科学与技术系
哈尔滨理工大学计算机与控制学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第2期35-37,共3页
-
文摘
好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库,可以利用具有多时间粒度的时态函数依赖(TFDs)约束对时态数据库进行规范化。要进行有效的数据库设计,需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法,该文提出了封闭时态类型集的概念,并且给出了一个求给定TFD集的封闭集的算法。
-
关键词
时态类型集
封闭集
时态数据库
函数依赖
有限属性闭包
计算机
-
Keywords
Temporal database
Functional dependency (FD)
Finite closure of attributes
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模式下函数依赖集的成员籍问题研究
被引量:3
- 3
-
-
作者
万静
杨洪玉
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《高技术通讯》
EI
CAS
CSCD
北大核心
2009年第11期1148-1152,共5页
-
基金
黑龙江省自然科学基金(F200601)资助项目
-
文摘
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。
-
关键词
多时间粒度
全序时态模式
时态函数依赖(TFD)
成员籍
属性集在给定时态类型上的闭包
-
Keywords
multiple time granularities, totally-ordered temporal scheme, temporal functional dependency (TFD), membership, attribute sets' closure on a certain temporal type
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
O152
[理学—基础数学]
-
-
题名偏序环境下时态数据库中的TBCNF分解问题研究
被引量:4
- 4
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机应用研究》
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
- 5
-
-
作者
万静
朱文博
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机软件与理论]
-