-
题名具有多时间粒度的强全序时态模式中多值依赖问题研究
被引量：11
- 1
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第6期1064-1071,共8页
-
基金
黑龙江省自然科学基金项目(F200601)~~
-
文摘
在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,给出了规则的时态多值依赖(RTMVD)和属性集的时间粒度等概念,并给出了RTMVD的一套有效的推理规则,针对强全序时态模式中时态多值依赖与无损分解的相关性给出了相关定理,解决了规则的时态多值依赖环境下时态模式在多粒度上的无损分解问题,为规则时态多值依赖环境下时态模式的进一步规范化奠定了基础.
-
关键词
时态数据库
多时间粒度
强全序时态模式
规则的时态多值依赖
强全序无损分解
-
Keywords
Key words temporal database
multiple time granularity
strong total order temporal schemes
regular temporal multi-valued dependencies
strong total order lossless decomposition
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模式下函数依赖集的成员籍问题研究
被引量：3
- 2
-
-
作者
万静
杨洪玉
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《高技术通讯》
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
[理学—基础数学]
-
-
题名强全序时态模式中混合依赖集成员籍问题的研究
被引量：2
- 3
-
-
作者
万静
王晓宇
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第6期1028-1035,共8页
-
基金
黑龙江省自然科学基金项目(F200601)~~
-
文摘
对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.
-
关键词
多时间粒度
强全序时态模式
混合闭包
混合依赖基
成员籍
-
Keywords
multiple time granularities
strong totally ordered temporal scheme
mixed closure
mixed dependency base
membership
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模式中时态函数依赖的覆盖问题研究
被引量：1
- 4
-
-
作者
万静
杨洪玉
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机应用研究》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模块模式的TO_TSNF分解问题研究
被引量：7
- 5
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模块模式的TO_TBCNF分解问题研究
被引量：1
- 6
-
-
作者
万静
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
齐齐哈尔大学计算机系
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机软件与理论]
-
