期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
具有全序时态类型集时态函数依赖集的研究 被引量:23
1
作者 姚春龙 郝忠孝 《软件学报》 EI CSCD 北大核心 2003年第2期247-252,共6页
好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一... 好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系,并且具有全序时态类型集的TFD集的推导规则与传统函数依赖(FDs)的Armstrong公理有着紧密的联系.通过分析TFDs与FDs之间存在的联系,利用传统FD集的相应算法,提出了成员籍、有限属性闭包等TFD集的一些重要算法.这些算法是时态数据库进一步规范化的基础. 展开更多
关键词 全序时态类型集 时态函数依赖 时态数据库 计算机
下载PDF
具有多时间粒度的时态多值依赖及时态模式分解方法研究 被引量:5
2
作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期853-859,共7页
一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(T... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明.由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD,给出了TMVD的有限推理规则,对其有效性、完备性进行了证明.最后,基于时态多值依赖集提出了时态第四范式,并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析. 展开更多
关键词 时态数据库 时态函数依赖 时态多值依赖 时态第四范式 多时间粒度
下载PDF
一个具有多时间粒度时态函数依赖集的成员籍算法 被引量:9
3
作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期342-347,共6页
对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间... 对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间粒度的使用使成员籍问题的解决变得更加复杂 .由此讨论了时态类型的一些特性 ,并提出了有限决定集的概念 .基于求得属性的有限决定集 ,对每一个元素的左部属性集是单一属性的 展开更多
关键词 时态数据库 逻辑蕴涵 关系数据库 时态函数依赖 成员籍算法
下载PDF
全序时态模式下函数依赖集的成员籍问题研究 被引量:3
4
作者 万静 杨洪玉 郝忠孝 《高技术通讯》 EI CAS CSCD 北大核心 2009年第11期1148-1152,共5页
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,... 时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。 展开更多
关键词 多时间粒度 全序时态模式 时态函数依赖(TFD) 成员籍 属性集在给定时态类型上的闭包
下载PDF
具有多时间粒度的强全序时态模式中多值依赖问题研究 被引量:11
5
作者 万静 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2008年第6期1064-1071,共8页
在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,... 在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,给出了规则的时态多值依赖(RTMVD)和属性集的时间粒度等概念,并给出了RTMVD的一套有效的推理规则,针对强全序时态模式中时态多值依赖与无损分解的相关性给出了相关定理,解决了规则的时态多值依赖环境下时态模式在多粒度上的无损分解问题,为规则时态多值依赖环境下时态模式的进一步规范化奠定了基础. 展开更多
关键词 时态数据库 多时间粒度 强全序时态模式 规则的时态多值依赖 强全序无损分解
下载PDF
一个多时间粒度下时态函数依赖的有限属性闭包算法 被引量:3
6
作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期448-454,共7页
为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际上,TFDs与传统的函数依赖(FDs)之间存在着密切的联系.通过分析这些联系和封闭时态类型集的特性,利用传统FDs的相关算法提出一个有效的求解有限属性闭包的算法.通过分析和与相关算法的实验比较,该算法更加有效. 展开更多
关键词 时态数据库 数据库设计 规范化 函数依赖(FD) 时态函数依赖(TFD)
下载PDF
强偏序时态模式中数据依赖推导规则研究 被引量:2
7
作者 万静 朱文博 《计算机工程与应用》 CSCD 2013年第2期194-197,共4页
随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据... 随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,提出了强偏序时态模块模式、强偏序模式的时态类型集概念,给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。 展开更多
关键词 强偏序时态模块模式 强偏序模式的时态类型集 时态数据依赖 推导规则
下载PDF
强偏序时态模式中混合依赖集的成员籍问题
8
作者 万静 刘芳 《计算机应用》 CSCD 北大核心 2015年第8期2345-2349,2414,共6页
有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序... 有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。 展开更多
关键词 强偏序时态模式 时态函数依赖 时态多值依赖 混合依赖 成员籍
下载PDF
多时间粒度下时态函数依赖集的成员籍算法
9
作者 郝忠孝 姚春龙 《计算机工程与应用》 CSCD 北大核心 2004年第35期183-186,217,共5页
为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常复杂。为了有效地解决此问题,分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性,并且基于提出的有限导出时态类型集及其求解算法,提出一个有效地解决TFD集的成员籍问题的算法。 展开更多
关键词 时态数据库 数据库设计 规范化 函数依赖 FDS 时态函数依赖 TFDS 成员籍
下载PDF
时态实体依赖关系与度量方法研究 被引量:2
10
作者 傅妤婧 张俊 王毅恒 《计算机科学》 CSCD 北大核心 2018年第B11期511-517,共7页
实体间存在各种各样的依赖关系,尤其是在软件开发过程中,软件实体间的依赖关系对软件的变更影响分析以及风险分析等都具有重大影响。依赖图作为最常用的依赖关系表示方法,其节点与边的定义与属性计算不尽相同,且大部分方法中并没有考虑... 实体间存在各种各样的依赖关系,尤其是在软件开发过程中,软件实体间的依赖关系对软件的变更影响分析以及风险分析等都具有重大影响。依赖图作为最常用的依赖关系表示方法,其节点与边的定义与属性计算不尽相同,且大部分方法中并没有考虑到节点与边的时态属性。针对时态实体依赖图,文中系统地提出了时态实体依赖关系的形式化定义并分析了其特性,然后分析了时态实体依赖图的节点中心性、节点重要性、节点依赖度和边的重要性等4个度量指标,同时,针对MAVEN数据集分析了上述各个指标随时间变化的规律。 展开更多
关键词 依赖关系 时态实体依赖 度量
下载PDF
多时间粒度约束的时态多值依赖推理
11
作者 李维宏 张忠平 祝精荟 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2006年第1期66-70,共5页
时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度... 时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础. 展开更多
关键词 时态数据库 时态函数依赖 时态多值依赖 粒度
下载PDF
具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究 被引量:2
12
作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1485-1492,共8页
一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析. 展开更多
关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式 时态简单范式
下载PDF
时态数据库理论研究 被引量:3
13
作者 李跃 张华 《大庆师范学院学报》 2006年第5期101-105,共5页
一个好的时态数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,我们对时态初等函数依赖,时态初等关键字,时态初等主属性,时态简单关键字,时态简单主属性进行了定义,并研究了时态初等关键字范式和时态简单范式的分解问... 一个好的时态数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,我们对时态初等函数依赖,时态初等关键字,时态初等主属性,时态简单关键字,时态简单主属性进行了定义,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法。最后,基于TFD和TMVD混合集提出了时态第四范式(T4NF),并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。 展开更多
关键词 时态数据库 时态初等关键字范式 时态简单范式 时态多值依赖 时态第四范式
下载PDF
多时间粒度下时态数据库设计中时态类型的处理
14
作者 姚春龙 郝忠孝 《小型微型计算机系统》 CSCD 北大核心 2006年第11期2094-2099,共6页
在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态... 在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态类型间的相关操作.为此提出了细于关系矩阵和封闭的时态类型集,并且对于给定的时态类型集及其细于关系矩阵,给出了一个自动生成它的一个封闭集及封闭集对应的细于关系矩阵的有效算法.通过提出的细于关系矩阵和封闭集算法,可以方便地在计算机上实现时态数据库设计算法需要的时态类型间的细于关系比较和glb操作. 展开更多
关键词 数据库设计 时态数据库 时态函数依赖(TFD) 时态范式
下载PDF
具有多时间粒度的时态数据库规范化问题研究
15
作者 赵磊 徐士华 《哈尔滨师范大学自然科学学报》 CAS 2006年第3期55-58,共4页
一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了时态一范式、时态二范式、时态三范式、时态初等关键字范式、时态简单范式、时态Boyce-Code范式,并对它们的规范化程度的高低次序进行了证明。 展开更多
关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式
下载PDF
强时态初等关键字范式的研究
16
作者 汤明伟 《数字技术与应用》 2011年第6期80-81,共2页
提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,... 提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,给出了保持函数依赖和无损连接性的分解算法,对算法的可终止性、正确性进行了证明,为时态数据库的进一步规范化奠定了基础。 展开更多
关键词 时态数据库 时态函数依赖 时态初等关键字范式
下载PDF
时态数据库初等关键字范式问题的研究 被引量:2
17
作者 刘宁 郝忠孝 《哈尔滨理工大学学报》 CAS 2005年第3期80-82,86,共4页
为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态... 为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础. 展开更多
关键词 时态数据库 时态初等函数依赖 时态初等关键字范式
下载PDF
基于Gilbert模型的无线传感器网络报文时间相关丢失率推测算法 被引量:2
18
作者 赵涛 《传感器与微系统》 CSCD 2015年第5期140-142,145,共4页
在用Gilbert模型描述无线传感器网络中报文丢失过程的基础上,提出了一种基于Gibbs抽样的逻辑链路报文丢失时态依赖性推测算法,解决了传感器网络中报文丢失的时态依赖问题。仿真结果与理论计算结果相比表明:算法推测结果可以较准确地反... 在用Gilbert模型描述无线传感器网络中报文丢失过程的基础上,提出了一种基于Gibbs抽样的逻辑链路报文丢失时态依赖性推测算法,解决了传感器网络中报文丢失的时态依赖问题。仿真结果与理论计算结果相比表明:算法推测结果可以较准确地反映报文丢失在时间域上的关联关系。 展开更多
关键词 无线传感器网络 链路报文丢失率 时态依赖 数据挖掘
下载PDF
Control of Sudden Death of Entanglement by Transient Effects 被引量:3
19
作者 Hünkar Kayhan 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第9期487-489,共3页
We investigate the properties of entanglement between an isolated atom and a Jaynes-Cummings atom in the presence of transient effects. These effects are due to the modulation of the atom-field coupling whose explicit... We investigate the properties of entanglement between an isolated atom and a Jaynes-Cummings atom in the presence of transient effects. These effects are due to the modulation of the atom-field coupling whose explicit time-dependence is considered for the case of the linear sweep. We show that the sudden death of entanglement can be controlled by the transient effects. These effects can suppress the sudden death of entanglement in time. 展开更多
关键词 sudden death of entanglement transient effects Jaynes--Cummings model
下载PDF
Pseudo-dynamic analysis of overturning stability of retaining wall 被引量:4
20
作者 王奎华 马少俊 吴文兵 《Journal of Central South University》 SCIE EI CAS 2011年第6期2085-2090,共6页
A new method was presented to determine the safety factor of wall stability against overturning based on pseudo-dynamic approach. In this time-dependent method, the actual dynamic effect with variation of time and pro... A new method was presented to determine the safety factor of wall stability against overturning based on pseudo-dynamic approach. In this time-dependent method, the actual dynamic effect with variation of time and propagation of shear and primary wave velocities through the backfills was considered. Planar failure surface was considered behind the retaining wall. The results were compared with those obtained from Mononobe-Okabe theory. It is found that there is a higher value of safety factor by the present dynamic analysis. The effects of wall inclination, wall friction angle, soil friction angle and horizontal and vertical seismic coefficients on the overturning stability of retaining wall were investigated. The parametric study shows that both horizontal and vertical seismic accelerations have decreasing effect on the overturning stability of retaining wall. 展开更多
关键词 seismic active force pseudo-dynamic method EARTHQUAKE stability against overturning retaining wall
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部