基于ＢＣＤＭ的冗余时间变元绑定.docVIP

基于ＢＣＤＭ的冗余时间变元绑定 　　摘 要：基于双时态概念数据模型(BCDM)定义了BCDM中的冗余时间变元，对冗余进行了量化描述，提出一种对时间变元的去冗余绑定思想。介绍了BCDM，并对BCDM中的时间标签进行规范化的组合表达；形式地描述了时间变元在当前事务时间的去冗余绑定操作，并对双时态关系的去冗余绑定操作给出了形式描述；对BCDM中的时间变元的去冗余操作给出了实现算法，并进行了算法分析。 　　关键词：BCDM； 时间变元； 变元绑定 　　中图法分类号：TP311.13文献标识码：A 　　文章编号：1001―3695(2007)02―0033―03 　　 　　1 引言 　　 　　时间元素是时态数据库中的基本元素，是构成时态数据库的必需元素。它是反映现实世界时变特性的数据库，对数据库对象时变属性的记录是通过时间元素来刻画的[1]。然而，在时态数据库时间属性的记录中，会因为记录的不断更新而使得时间记录频繁变化，用有效时间变元Now来记录有效时间的变化部分，就减少了频繁记录的问题。类似于这种有效时间的变元，事务时间的变元UC也解决了记录频繁更新的问题。但是时间变元的引入也带来了新的问题，对于时态数据库来说，因为增加了时间变元而使得数据库的记录存在不确定性，这样对于含有变元的时态数据库就增加了数据记录的不确定性[2―4]。对于BCDM(Bitemporal Concept Data Model)来说，因为时间记录的二维性，使得数据库中时间属性的记录中，既有有效时间变元Now又有事务时间变元UC，给数据库的操作带来了某些不确定性，甚至会产生错误；不过，因为BCDM自身的双时态特性，随着数据库新记录的产生，时间变元的值会因为后续时间信息的记录而使得以前的时间变元记录得以确定[5―7]。 　　因为有时间变元，所以在数据库的很多操作中(如查询、索引、关系操作等)会增加难度及不确定性，针对不同的应用需求，引入一些新的处理办法。文献[8]中对于含有时间变元的区间运算进行了考虑；文献[9]中用简单的分裂操作对含有时间变元的双时态操作进行了处理，用非时态的办法处理含有时间变元的时态问题；文献[10]在时态索引中考虑了带有时间变元的双时态数据库的索引问题，用4-R树的索引办法对含有时间变元的双时态数据库进行索引。这些均对含有时间变元有关的操作问题进行的有益探索，但是对于时间变元的直接处理是用时态绑定的办法进行解决，变元绑定处理后，数据库的时间变元减少或消除，这样查询、索引、关系操作等的不确定性下降，处理简单明确。 　　在研究时间变元的绑定中，文献[2]提出了时间变量Now的修正语义，在该文献中对Now变元进行了不同情况的绑定，并在绑定后对时间区间的运算进行了处理；文献[3]不仅考虑到时间Now的绑定而且也包含了UC的绑定，对于变化的参考时间给出了较为形象的绑定图示；文献[11]在双时态数据库中对时间变元Now进行了新的处理，时态元组的记录在有效时间和事务时间被分别记录为信息点，这种办法对基于点的时态查询提供了更高的效率。当前，对于时间变元的绑定，主要是对有效时间Now的绑定，即使是在双时态的背景下[3]，也没有将事务时间和有效时间结合起来考虑。而本文是从双时态的规范模型BCDM出发，利用BCDM中双时态的关联性，将有效时间和事务时间结合在一起考虑，提出了冗余时间变元的概念和冗余时间变元绑定的思想，对去冗余时间变元的绑定操作进行了形式描述，并对绑定操作给出了可行的算法。这种冗余时间变元的绑定办法简化了BCDM中的时态查询、时态索引及时态关系操作的复杂性，对实际应用是有益且有效的。 　　 　　2 BCDM及其时间元素 　　 　　2.1 时态数据库与BCDM 　　时态数据库在发展的过程中经历了回滚数据库、历史数据库和双时态数据库。其中的回滚数据库记录的是数据库事务更改的历史情况，保存了所有状态演变中的过去情况，回滚数据库只是事务时间的记录，它不能记录现实世界中事物属性为真的时间；而历史数据库却只能记录有效时间，不能记录事务时间；双时态数据库既可以记录数据库状态变化的事务时间，又能够记录元组属性为真的有效时间。BCDM是双时态数据库中的重要模型，它是面向查询和数据库逻辑设计的双时态概念数据模型，是TSQL2语言设计委员会所设计的TSQL2文本的最基本的模型，BCDM在概念上尽量与关系数据库保持兼容[6，7]。BCDM是双时态数据库中数据的存储和数据表示的桥梁；在TSQL2中提出了三种时态数据库模型――BCDM、表示数据模型（Representational Data Model）以及演示数据模型（Presentation Data Model），其中BCDM是核心模型。 　　BCDM最主要的特点有：①支持有效时间和事务时间