论文部分内容阅读
随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统的一个重要和充满活力的学科方向。同传统的关系数据库一样,在时态数据库的研究中,核心问题之一就是时态数据库的逻辑设计。多粒度时态数据库由于其对多时间粒度的支持而使其具有较为先进的特性,如何为多粒度时态数据库设计有效的规范化方法就成为时态数据库研究人员的重要课题。在以往的多粒度时态数据库设计方法的研究中,由于算法中所涉及的时态类型间的操作相当复杂,难以用其进行有效的时态数据库设计。本课题致力于研究更加有效的、实用的多粒度时态数据库设计方法。由于现实世界中的许多应用涉及到的时态类型集都能满足全序关系,如秒、分钟、小时、日、月和年,而具有全序时态类型集的全序时态模式有着良好的特性,研究全序时态模式的设计方法将具有现实意义。本课题首先全面研究了全序时态数据库中的时态数据依赖问题以及相关的时态范式分解问题,并在此基础上进一步研究了偏序时态数据库中的规范化问题。具体做了以下几方面的工作:1.全序时态数据库的成员籍问题研究。给出了全序时态模式中的基本概念,全序时态函数依赖(temporal functional dependencies,TFDs)推导规则,全序时态模式中属性集的闭包算法以及全序时态模式中的成员籍算法,并在此基础上解决了全序时态数据库的TFDs覆盖问题。2.全序时态BC范式的分解问题研究。给出了全序时态BC范式的相关概念,时态候选关键字集算法以及满足全序连接无损性的全序时态BC范式的分解算法。3.全序时态简单范式的分解问题研究。给出了全序时态简单范式的相关概念,全序时态简单候选关键字集算法以及一个满足保持时态函数依赖与全序无损连接性的全序时态简单范式分解算法。其规范程度高于全序时态3范式。4.强全序时态模式中多值依赖问题研究。给出了规则的时态多值依赖(Regular Temporal Multi-valued Dependency,RTMVD)等概念,全序RTMVD推理规则,RTMVD与强全序时态模块模式无损分解之间关系的相关定理,强全序时态模式中混合依赖集成员籍算法以及全序时态混合依赖集的覆盖算法。5.非严格偏序时态模式中的TFDs研究。给出了非严格偏序时态类型集、非严格偏序时态模式等基本概念,提出了非严格偏序TFDs推导规则以及非严格偏序时态模式中属性集的闭包算法。6.非严格偏序时态模式中的BC范式分解问题研究。给出了非严格偏序时态BC范式(non-strict-partially-ordered temporal Boyce-Codd normal form,NSPO TBCNF)的判定算法,提出了NSPO TBCNF分解的相关定理并最终设计了非严格偏序时态BC范式的分解方法。论文给出的全序时态模式中的成员籍算法,TFDs覆盖算法,满足全序连接无损性的全序时态BC范式的分解算法,满足保持时态函数依赖与全序无损连接性的全序时态简单范式分解算法以及强全序时态模式中混合依赖集成员籍算法和覆盖算法的时间复杂度都是多项式级的,具有很强的实用性,能有效消除全序时态模式中的时态冗余,保持全序时态模式中时态数据的一致性。论文给出的满足非严格偏序连接无损性的NSPO TBCNF分解算法,在不生成新的时态类型的条件下,可以最大限度地消除时态函数依赖约束下的非严格偏序时态模式中的时态冗余,其算法复杂度也是多项式级的。论文的研究为全序偏序时态数据库的规范化奠定了坚实的基础。