论文部分内容阅读
与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。在数据库的设计中,要充分考虑对数据依赖的处理,数据依赖是指数据之间存在的各种联系,数据冗余的产生和数据依赖有着密切的联系。数据依赖是数据库设计理论中的一个核心概念,通过它可以规范属性之间满足的固有的语义约束。为了更有效的研究时态数据库中各种依赖以及各属性之间的关系,以便将关系进一步规范化,本文提出了时态左部属性、时态右部属性、时态双部属性、时态函数依赖图等概念。并分别利用图论法和吸收法给出了求时态候选关键字集的算法,并证明其正确性。时态函数依赖(Temporal Functional Dependency, TFD)和时态多值依赖(Temporal Multi-valued Dependency, TMVD)是时态数据库中最重要的两种数据依赖。对于具有TFD和TMVD混合集约束的时态模式来说,由于多时间粒度的使用使成员籍问题的解决变得更加复杂。但成员籍问题的解决对设计有效的模式分解算法必不可少,本文基于强全序时态模式以及全序时态函数依赖和规则时态多值依赖(RTMVD)理论提出了给定时态类型上的混合依赖基、强全序模式混合依赖基、TFD和RTMVD混合集闭包、强全序模式混合闭包等概念,并给出了求混合混依赖集中属性的依赖基、属性集的闭包的算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析。在此基础上,给出了解决强全序模式混合集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。同时,本文提出了强全序时态模式中冗余依赖、混合无冗余覆盖、规范混合依赖集等概念,并给出了求强全序时态模式混合依赖集的无冗余覆盖和规范覆盖的算法。以上理论和算法的研究,很好的解决了强全序混合依赖集中依赖的判定的处理问题,为解决强全序时态模式规范化问题以及时态数据库设计提供了理论基础。