具有多时间粒度的时态多值依赖及时态模式分解方法研究 被引量：5

1

作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期853-859,共7页

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(T... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明.由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD,给出了TMVD的有限推理规则,对其有效性、完备性进行了证明.最后,基于时态多值依赖集提出了时态第四范式,并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析. 展开更多

关键词 时态数据库 时态函数依赖 时态多值依赖 时态第四范式 多时间粒度

下载PDF 职称材料

多时间粒度下时态函数依赖集的成员籍算法

2

作者 郝忠孝 姚春龙 《计算机工程与应用》 CSCD 北大核心 2004年第35期183-186,217,共5页

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常复杂。为了有效地解决此问题,分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性,并且基于提出的有限导出时态类型集及其求解算法,提出一个有效地解决TFD集的成员籍问题的算法。 展开更多

关键词 时态数据库 数据库设计 规范化 函数依赖 FDS 时态函数依赖 TFDS 成员籍

下载PDF 职称材料

具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究 被引量：2

3

作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1485-1492,共8页

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析. 展开更多

关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式 时态简单范式

下载PDF 职称材料

多时间粒度约束的时态多值依赖推理

4

作者 李维宏 张忠平 祝精荟 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期66-70,共5页

时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度... 时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础. 展开更多

关键词 时态数据库 时态函数依赖 时态多值依赖 粒度

下载PDF 职称材料

具有多时间粒度的时态数据库规范化问题研究

5

作者 赵磊 徐士华 《哈尔滨师范大学自然科学学报》 CAS 2006年第3期55-58,共4页

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了时态一范式、时态二范式、时态三范式、时态初等关键字范式、时态简单范式、时态Boyce-Code范式,并对它们的规范化程度的高低次序进行了证明。 展开更多

关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式

下载PDF 职称材料

强偏序时态模式中混合依赖集的成员籍问题

6

作者 万静 刘芳 《计算机应用》 CSCD 北大核心 2015年第8期2345-2349,2414,共6页

有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序... 有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。 展开更多

关键词 强偏序时态模式 时态函数依赖 时态多值依赖 混合依赖基 成员籍

下载PDF 职称材料

强时态初等关键字范式的研究

7

作者 汤明伟 《数字技术与应用》 2011年第6期80-81,共2页

提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,... 提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,给出了保持函数依赖和无损连接性的分解算法,对算法的可终止性、正确性进行了证明,为时态数据库的进一步规范化奠定了基础。 展开更多

关键词 时态数据库 时态函数依赖 时态初等关键字范式

下载PDF 职称材料

具有全序时态类型集时态函数依赖集的研究 被引量：23

8

作者 姚春龙 郝忠孝 《软件学报》 EI CSCD 北大核心 2003年第2期247-252,共6页

好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一... 好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系,并且具有全序时态类型集的TFD集的推导规则与传统函数依赖(FDs)的Armstrong公理有着紧密的联系.通过分析TFDs与FDs之间存在的联系,利用传统FD集的相应算法,提出了成员籍、有限属性闭包等TFD集的一些重要算法.这些算法是时态数据库进一步规范化的基础. 展开更多

关键词 全序时态类型集 时态函数依赖集 时态数据库 计算机

下载PDF 职称材料

一个具有多时间粒度时态函数依赖集的成员籍算法 被引量：9

9

作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期342-347,共6页

对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间... 对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间粒度的使用使成员籍问题的解决变得更加复杂 .由此讨论了时态类型的一些特性 ,并提出了有限决定集的概念 .基于求得属性的有限决定集 ,对每一个元素的左部属性集是单一属性的 展开更多

关键词 时态数据库 逻辑蕴涵 关系数据库 时态函数依赖集 成员籍算法

下载PDF 职称材料

一个多时间粒度下时态函数依赖的有限属性闭包算法 被引量：3

10

作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期448-454,共7页

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际上,TFDs与传统的函数依赖(FDs)之间存在着密切的联系.通过分析这些联系和封闭时态类型集的特性,利用传统FDs的相关算法提出一个有效的求解有限属性闭包的算法.通过分析和与相关算法的实验比较,该算法更加有效. 展开更多

关键词 时态数据库 数据库设计 规范化 函数依赖(FD) 时态函数依赖(TFD)

下载PDF 职称材料

全序时态模式下函数依赖集的成员籍问题研究 被引量：3

11

作者 万静 杨洪玉 郝忠孝 《高技术通讯》 EI CAS CSCD 北大核心 2009年第11期1148-1152,共5页

时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,... 时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。 展开更多

关键词 多时间粒度 全序时态模式 时态函数依赖(TFD) 成员籍 属性集在给定时态类型上的闭包

下载PDF 职称材料

多时间粒度下时态数据库设计中时态类型的处理

12

作者 姚春龙 郝忠孝 《小型微型计算机系统》 CSCD 北大核心 2006年第11期2094-2099,共6页

在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态... 在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态类型间的相关操作.为此提出了细于关系矩阵和封闭的时态类型集,并且对于给定的时态类型集及其细于关系矩阵,给出了一个自动生成它的一个封闭集及封闭集对应的细于关系矩阵的有效算法.通过提出的细于关系矩阵和封闭集算法,可以方便地在计算机上实现时态数据库设计算法需要的时态类型间的细于关系比较和glb操作. 展开更多

关键词 数据库设计 时态数据库 时态函数依赖(TFD) 时态范式

下载PDF 职称材料