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

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

Study on derivation rules of data dependency in strong partial order temporal scheme

With the development of database and information technology,information systems face many new applications and demand,an increasing need for temporal information processing.Temporal information processing has become a key technology of a new generation of database and information systems,temporal database research has become a hot and difficult of the database and information systems research in the field.In this paper,the difficulty in temporal database is the state of the database data in the strong partial order temporal database which is the problem of data dependence research.This paper's topics are close to the academic frontier.The strong partial order temporal pattern data dependent issues are discussed.It proposes strong partial order temporal module scheme,temporal type sets of strong partial order scheme of concepts.It also proposes the derivation rules of temporal functional dependencies and temporal multi-valued dependencies in strong partial order module scheme.The proof and introduction for its correction and validity are also given.This is an important role in promoting the standardization of temporal database design to achieve in strong partial order temporal database.