基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型，基于BCDM模型，建立了一种双时态关系代数．首先，对时态数据库事务时间和有效时间进行规范化的定义，给出BCDM中时间元素的规范化定义和演算描述；而后，定义时态映射，用以描述BCDM中的双时态元组，并形式描述时态映射的演算；最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述．     

模糊时态数据库关系代数演算规则分析

为了解决时态数据库对客观世界更符合实际抽象描述,能有效表示和处理复杂对象的模糊时态特性,从基本模糊时态数据模型入手,定义了一系列模糊时态关系操作元素,并论证了模糊时态区间关系代数的语法和语义,建立了一个能描述模糊时态信息的关系代数理论体系.避免了时态数据库不能提供表达模糊时态信息的环境设施,也增强了现有的时态数据库描述模糊事物特性的能力.     

时态关系代数与元组演算的等价性

建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。     

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

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

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

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

时态逼近关系及时态逻辑的扩充

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Ｓｈｏｈａｍ的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外，还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质．     

具有不确定性的时态模型

1引言 许多时态逻辑考虑定性的确定时态信息。Allen~[1.2]推荐一种区l可代数,提出了3定性的确定时态关系。VanBek~[14],Ligozat~[10],Pape~[12],RitL~[13],Ladkin~[5][6]和eban[8]也研究了时间区间的     

多媒体数据库的时态索引技术

针对多媒体数据库中具有时态特性的媒体对象，提出一种基于区间的索引机制，目的是为了提高时间检索的性能。这种时态索引可以快速查找任意时间段中的时态对象，它能有效地支持多种时态关系操作符；支持多种时态集函数；支持时态ＪＯＩＮ操作等等。该索引支持媒体展示过程。     

时态数据库的可视化方法与技术

1 引言时态数据库是将时间的概念结合到传统的数据库中。近十年来,人们对此所作的许多研究主要集中在把关系数据模型扩展为时态模型以及(或)把关系查询语言SQL和Quel扩展为时态的模式。除了强调关系模型之外,也有一些研究是将ER和其他的语义数据模型扩展到时态方面。时态数据模型的形式化和时态数据库的物理数据组织结构也受到了人们的关注。     

一个实现双时态数据库的新方法

在双时态数据模型中,随时间变化的事实是用两个时间维--有效时间维和事务时间维--来描述.在关系数据库中,通常用4个时间字段表示数据的时态性,这种方法使得数据和时间分离.为了描述时变数据的物理意义,定义了时态数据类型,并且定义了时态数据运算和时态关系运算,同时建立了时态索引机制.以时态数据类型为系统的基本数据类型,扩展关系数据库系统为时态关系数据库系统.     

时态的粒度刻画及演算问题研究

时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。     

基于时序描述逻辑的UML顺序图形式化研究

在统一建模语言（UML）规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的六元组形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑.应用时序描述逻辑的时态算子得到时序描述逻辑语义形式的UML顺序图.用UML顺序图描述完整的C语言执行过程,将其形式化描述,实验结果表明,这种方法是可行的.     

分布式超媒体数据库系统的系统结构和组成

叙述了一种分布式超媒体数据库系统（ＨＤＢ）的系统结构、节点和链模型以及系统的组成。ＨＤＢ具有分布式宏文献结构，采用超媒体形式的节点和链来管理多媒体信息，可以实现过滤浏览、基于内容检索、多级导航等功能。ＨＤＢ由超媒体数据库创建、表现与查询、宏文献服务器、媒体服务器、脚本语言等模块组成。     

Some results on Parametric Temporal Logic

Parametric Temporal Logic extends linear temporal logic by allowing the temporal operators to additionally specify quantitative and parametric bounds on event occurrences. In this paper, we revisit and provide improved solutions to the four important problems of emptiness, universality, finiteness and construction considered in the literature for this logic.     

Mining temporal interval relational rules from temporal data

Temporal data mining is still one of important research topic since there are application areas that need knowledge from temporal data such as sequential patterns, similar time sequences, cyclic and temporal association rules, and so on. Although there are many studies for temporal data mining, they do not deal with discovering knowledge from temporal interval data such as patient histories, purchaser histories, and web logs etc. We propose a new temporal data mining technique that can extract temporal interval relation rules from temporal interval data by using Allen’s theory: a preprocessing algorithm designed for the generalization of temporal interval data and a temporal relation algorithm for mining temporal relation rules from the generalized temporal interval data. This technique can provide more useful knowledge in comparison with conventional data mining techniques.     

时态面向对象数据库查询算法研究

时态关系数据库在关系数据库的基础上扩充了对时间数据的处理、而时态面向对象数据库则是在面向对象数据库的基础上扩充了对时间数据的处理。在时态数据基态修正模型的基础上,讨论了时态面向对象数据库查询优化策略,并给出相应的算法。     

UML2.0顺序图的时序描述逻辑语义

针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。     

T-STAR: 一种基于关键词的关系数据库时态信息检索方法*

将时态信息融入到信息检索技术中可以有效提高检索效果,时态信息检索已有较多的研究,而现有数据库信息检索方法还缺乏对时态信息有效利用。针对这一研究问题,提出关系数据库上基于时态语义的关键词检索方法,引入时态信息构建时态数据图,设计时态相关性评分机制,在时态图搜索过程中引入时态语义约束,设计基于关键词的时态检索算法。实验验证了该方法可以有效提高数据库信息检索效果,而检索性能并没有降低。     

不确定时态信息表示及时态运算的扩展

时态信息表示和查询是时态数据库的研究重点，但现有的时态数据库模型在处理不确定时态信息方面仍存在较大困难。而现实生活中很多时态信息都是不确定的，故提出了一种不确定时态信息的表示方法，并扩展时态运算使其支持不确定时态信息的处理和查询，从而扩展了时态数据库的适用范围。     

基于改进遗传算法的C-TRDM压缩存储

针对时态数据库中存在数据冗余、数据量快速增长等问题,结合现有压缩技术,提出基于改进遗传算法的C-TRDM压缩存储技术。将各个时刻的时态关系数据分解为最小粒度的数据并进行编码,采用改进的遗传算法来计算待压缩数据中的最优存储数据以提高压缩比。算法的快速收敛性使去除数据冗余的速度得到提高。