偏序环境下时态数据库中的TBCNF分解问题研究

针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。     

强偏序时态模式中数据依赖推导规则研究

随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,?提出了强偏序时态模块模式、强偏序模式的时态类型集概念,?给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。     

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

对于TFD和RTMVD混合依赖集约束的强全序时态模式来说, 成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.     

全序时态模块模式的TO_TSNF分解问题研究

在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时问粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有着良好的特性,因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式（TO_T3NF）和全序时态简单范式（TO_TSNF）等概念,并给出了全序时态简单范式的分解算法,对其正确性进行了证明,并对时间复杂度进行了分析。     

全序时态模式中时态函数依赖的覆盖问题研究

与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。     

全序时态模块模式的TO_TBCNF分解问题研究

时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类型集的全序时态模块模式有着良好的特性,文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式（TO_TBCNF）等概念,并给出了全序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对时间复杂度进行了分析。     

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

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

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

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

时态类型集的封闭集

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

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

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

函数依赖集的有向图表示及在教学中的应用

以有向图表示函数依赖集,将求属性集的闭包转换成有向图的遍历问题,在此基础上,给出了求解候选码、最小覆盖等问题的解决方案。教学实践表明,该方法为相关内容的教学提供了图形化的手段,有助于学生利用数据结构知识来理解新的教学内容以及有关算法的编程和验证。     

企业时态化建模中的元模型研究

为了支持企业历史信息等与时间特征相关的建模,提出了包括日历对象、时间属性域类型、时间戳等在内的基本元模型。利用这些基本元模型,建模者可以在现有企业模型的基础上实现基于时间特征的时态化扩展建模,从而提高企业模型及其应用系统的弹性。     

时态信息系统转换方法研究

利用粗糙集理论来进行时间序列数据分析,关键是将时态信息系统转化为适用粗糙集方法处理的传统信息系统。目前,已有的将时态信息系统转化为信息系统回溯的方法,当回溯时间片很大时,转换后的信息系统产生大量的属性,不利于进一步利用粗糙集进行约简及规则获取,具有一定的局限性。文中提出了一种基于时间粒度的转换方法,运用该方法进行系统转换后的信息系统中产生较少的属性,特别适用于处理大规模数据集。