分布式主动的时间数据库事务管理研究

各种.工程和时间关键型应用迫切而普遍要求数据库支持数据和事务定时性、主动服务和分布处理，为此，本项目就主动实时数据库事务的模型、特性、正确性标准、处理策略及主动执行机制进行了深入的研究。提出了一种新的“具有显式定时限制和构造的活性集”的事务定义及有内部结构和彼此联系/相关性：结构、行为、时间、和数据相关的“复杂事务”的语义与结构模型及其形式化描述；分析并确定了事务的结构、语义和行为特性：结构复杂性、NON-ACID特性、时间性、执行依赖性、主动服务和结果补偿性；提出了“放宽的可串性化”（XSR）正确性准则：开发了基于事务时间特性的优先级分派、“识时”的基于优先级的调度与并发控制等策略与技术；开发并嵌入了一种S-A（情形-活动）主动机制到事务处理；基于上述技术与机制，构造了一种与传统数据库有根本性不同的主动实时事务执行模型。