论文部分内容阅读
随着国内外学者们研究的深入以及科技的迅猛发展,如今时态数据库技术的应用与研究越来越变得活跃,成为非常热门的研究领域之一。包含历史信息又同时包含当前信息的数据库可以称为时态数据库。时态数据库不仅能够存储对象任何时刻和时间段的状态,还能够经过分析、对比并预测将来可能的状态。本文主要研究了时态数据库中部分时态候选关键字的求解以及强偏序时态模式下成员籍的判定问题。在时态数据库应用系统的设计中,开发人员需要根据需求使数据库模式实现规范化,不管需求是要实现哪一级范式,终将需要解决“时态主属性”和“时态候选关键字”的难题。因此,时态候选关键字的研究目的是以保证时态数据库中各属性以及各种依赖之间关系的研究与规范化更为深入有效,因此,本文提出了最大相关块,时态相关属性等概念及时态属性分析表的定义与构造规则,分别利用最大相关块法和时态属性分析表法给出两种求解基数为M的时态候选关键字集的算法,并证明了理论的正确性。有效的模式分解算法的设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了极大困难。因此,本文给出了偏序TFDs和偏序RTMVDs的混合依赖集的闭包,强偏序时态模式混合依赖基,强偏序模式混合闭包以及在给定时态类型上的偏序混合依赖基等定义,细致的求解了强偏序模式(R,μ)下的混合依赖基的算法,强偏序时态模式属性集的闭包算法,并在此基础上,给出并证明了强偏序时态模式混合依赖集成员籍问题的算法的正确性及可终止性,对该算法的时间复杂度进行了分析。本文有效的解决了强偏序模式下混合依赖判定的处理问题以及时态候选关键字集的求解问题,为今后研究时态数据库设计以及解决强偏序时态模式规范化问题给予了新的理论支持。