嵌入式实时数据库ARTs-EDB事务调度实现技术

着重讨论了嵌入式实时数据库系统ARTs-EDB中事务调度实现技术。给出了ARTs-EDB中事务的执行模型、状态及状态变迁；设计了一个考虑事务类型和截止期的多层动态可调整优先级分派方法；给出了一个优先级驱动可抢占的实时事务调度策略，以保证更多事务满足截止期要求。     

实时数据库事务的互斥与同步

实时数据库事务具有许多不同于传统数据库事务的特性，其互斥和同步问题远比传统数据库事务复杂。该文结合已研制成功的嵌入式实时数据库系统ARTs-EDB，重点讨论实时数据库事务的互斥与同步技术。事务互斥用于实现对数据库共享数据“互斥地”访问。根据数据共享特性的不同，实时事务的互斥可分为两类，一类是通过设置“优先级相关”互斥量而实现的互斥，另一类是通过数据库系统提供的并发控制策略而实现的互斥。事务同步是实时数据库事务的特有要求，主要用于实现嵌套事务内部事务的互相等待与互通消息，以保证嵌套事务的内部一致性。     

利用HB+树的复合索引问题的解决方案

B＋树是目前数据库管理系统在单属性上广泛使用的一种索引,但它在处理由多属性组成的复合索引时效率很低。为此,该文在B＋树的基础上提出了一种考虑属性逻辑层次关系的HB＋树及其操作算法。该树采用了分类串行解析各属性的方法,可以很好地解决复合索引问题;并具有层次分类清楚、结点小且结构简单等优点。文中还对HB＋树的时空性能进行了分析。     

嵌入式实时数据库事务的并发控制

嵌入式实时数据库系统中的并发控制除保证数据库一致性不被破坏外,还须考虑事务的定时限制及减少解除数据冲突开销.该文讨论了一个基于封锁的、可避免循环夭折的有条件高优先级夭折并发控制协议ACA-HPA-AC,包括其形式化描述、封锁相容矩阵、锁表结构及封锁操作的实现算法.该协议能避免一般高优先级夭折协议中可能出现的循环夭折和无效夭折现象,并已成功应用于嵌入式实时内存数据库系统ARTs-EDB中.