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