基于BCDM的双时态关系代数

摘要

双时态概念数据模型BCDM是一种重要的时态数据库模型,基于BCDM模型,建立了一种双时态关系代数.首先,对时态数据库事务时间和有效时间进行规范化的定义,给出BCDM中时间元素的规范化定义和演算描述;而后,定义时态映射,用以描述BCDM中的双时态元组,并形式描述时态映射的演算;最后,用时态映射定义的元组对双时态关系进行定义,并由此给出双时态关系代数运算的形式化描述.