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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

基于时态数据库的极小子结构逻辑系统 被引量：19

9

作者 刘冬宁 汤庸 +1 位作者 滕少华 林哲 《计算机学报》 EI CSCD 北大核心 2013年第8期1592-1601,共10页

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数... 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景. 展开更多

关键词 时态数据库 子结构逻辑 时态查询 函数依赖

在线阅读 下载PDF 职称材料

时态类型集的封闭集 被引量：5

10

作者 姚春龙 郝忠孝 《计算机工程》 CAS CSCD 北大核心 2003年第2期35-37,共3页

好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题... 好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法，该文提出了封闭时态类型集的概念，并且给出了一个求给定TFD集的封闭集的算法。 展开更多

关键词 时态类型集 封闭集 时态数据库 函数依赖 有限属性闭包 计算机

在线阅读 下载PDF 职称材料

一个多时间粒度下时态模式的T3NF分解算法 被引量：6

11

作者 姚春龙 郝忠孝 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1530-1535,共6页

对于时态数据库,时间维的引入使得如何有效地进行数据库设计以消除数据冗余和插入、删除异常显得尤为重要.可以通过支持多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是多时间粒度的使用给数据库设计带来巨大的复杂性.... 对于时态数据库,时间维的引入使得如何有效地进行数据库设计以消除数据冗余和插入、删除异常显得尤为重要.可以通过支持多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是多时间粒度的使用给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系.对于这种具有全序时态类型集的时态模式,通过分析TFD集所具有的良好特性,给出了一个得到满足时态第三范式(T3NF)的无损分解的多项式时间的算法. 展开更多

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

模糊时态数据库设计中模糊/时态向量空间特性研究 被引量：2

13

作者 邓立国 马宗民 《计算机科学》 CSCD 北大核心 2011年第6期211-216,共6页

数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD... 数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD扩展到模糊时态函数依赖FTFD的关键,通过分析属性集的有限闭包、时态类型集的封闭集、属性集在给定时态上的依赖等概念,得到模糊/时态向量的特征描述,并对此方法的正确性进行了论证。此方法能方便地在计算机上表达模糊属性值和模糊时态序列的映射关系,为模糊时态数据库范式的判定和分解算法提供有效的手段。 展开更多

关键词 模糊时态数据库 函数依赖 时间粒度 有限闭包 Ftfd

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

多时间粒度约束的时态简单范式的分解

15

作者 郝忠孝 刘宁 《计算机工程》 CAS CSCD 北大核心 2006年第4期73-75,78,共4页

数据库逻辑设计的目的是消除数据冗余、插入和删除异常。为使时态模式满足某种范式的要求,要对时态模式进行分解,保持函数依赖和无损连接性是对算法最基本的要求。但对具有多时间粒度的时态模式进行分解时,把TBCNF作为最终目标很难实现... 数据库逻辑设计的目的是消除数据冗余、插入和删除异常。为使时态模式满足某种范式的要求,要对时态模式进行分解,保持函数依赖和无损连接性是对算法最基本的要求。但对具有多时间粒度的时态模式进行分解时,把TBCNF作为最终目标很难实现保持函数依赖性,把T3NF作为最终目标,又很难达到规范化要求。该文提出了时态简单范式TSNF的概念及相应的分解算法,来弥补以上两点不足。 展开更多

关键词 时态简单范式 时间粒度 无损连接性 保持函数依赖性

在线阅读 下载PDF 职称材料

时态数据库述评 被引量：3

16

作者 张师超 《计算机科学》 CSCD 北大核心 1992年第3期37-43,共7页

本文是时态数据库的一个述评,概要地介绍了时态数据库的研究历史及其基本术语;讨论了分别基于1 NF 和■1NF 方法的询问语言 TQuel 和 TCAL;并指出了现有时态数据库的不足及今后需要解决的问题。

关键词 时态数据库 事务时间 数据库管理 第一范式 基本术语 函数依赖 决策支撑系统 历史数据 关系数据库 数据库系统

在线阅读 下载PDF 职称材料