全序时态候选关键字问题初步研究

与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。在数据库的设计中,要充分考虑对数据依赖的处理。数据依赖是数据库设计理论中的一个核心概念,通过它可以规范属性之间满足的固有的语义约束。为了更有效的研究时态数据库中各种依赖以及各属性之间的关系,以便将进一步规范化,本文提出了全序时态左部属性、全序时态右部属性、全序时态双部属性等概念。并利用替换法给出了求全序时态候选关键字集的算法,并证明其正确性。