导　　师： 叶小平

学科专业： H1202

授予学位： 硕士

作　　者： ;

机构地区： 中山大学

摘　　要： 该文基于理论研究和实际应用间的密切关联性,致力于时态关系代数的基础研究工作,在广泛查阅、深入学习大量已有工作的基础上,建立了一个规范化的基于BCDM的双时态关系代数系统,得出时态关系代数的一些基本的阶段性结论.首先,该文对时态数据库的研究状况和一些基本知识进行了概要介绍,其中包括时态数据基本构成元素--时间元素,时态数据库的基本概念--三种时间和四种数据库,双时态概念数据模型--BCDM等.接着讨论了仅含有效时间维的时态关系代数问题:在介绍HRDB[2]的关系代数的基础上,对关系代数用元组演算的形式做出描述.这种仅含有效时间维的关系代数相对是较为简单的,因为它没有考虑到双时态的问题(有效时间和事务时间).最后,该文着重研究了一个核心问题--双时态关系代数.在广泛查阅国内外资料和细致研究的基础上,建立了一个规范化的基于BCDM的双时态关系代数系统,该系统是封闭的.其中的基本思想是:先将双时态点进行规范的形式化描述,采用了一个矩形框的形似对时间元素进行规范表达,在这种时间元素规范表达的基础上对双时态元组的记录用时态映射进行表述,进而可以规范地表达双时态关系;而后,对双时态关系代数运算做出形式化描述,建立一套完备的关系代数体系.在建立关系代数体系的过程中,采用BCDM作为基本模型.由于BCDM具有广泛的应用背景,又是TSQL2设计委员会的规范模型,由此而得到的双时态关系代数系统具有较高的通用性,对于实用的双时态数据库的研制开发具有基本的研究意义和应用价值.

关 键 词： 时态数据库 时态关系代数 双时态关系代数

分 类 号： [TP311.13]

领　　域： [自动化与计算机技术] [自动化与计算机技术]