在移动计算环境中,移动主机具有移动性,移动主机与无线网络的连接状态具有多样性。这些特性要求服务于移动主机的移动数据库系统做出反应和相应的处理。在主动数据库系统中,预先制定相应的规则,用事件作触发器去操纵数据库,能为移动数据库提供主动功能。 为了在移动数据库中使用主动机制,传统的主动规则系统要适当地修改。移动计算环境不仅使得数据库有着不同于传统数据库的事件,而且其移动环境的特点将影响到数据库的体系结构、事件的检测方式及检测技术、条件评价和规则的触发执行等方方面面。 本文主要讨论如何在移动数据库中引入主动机制。首先,在一个主动数据库ECA(event condition action)规则系统模型的基础上,对各种移动事件进行定义,给出了事件的时态逻辑描述,为主动数据库的事件触发提供了新的事件空间,为移动数据库系统的主动处理提供了有效的支持。其次,讨论移动数据库中事件的检测。移动事件除了具有分布式数据库的分布、并发、异步、随机等特点外,同时又因无线网络环境的不稳定性而具有延时、失序的特点。为了有效检测移动计算环境中的事件,本文提出了基于petri网的事件检测方式CCPN,它能直观灵活地建模事件,支持异步并发事件的检测以及时序事件的检测。对主机断接以及移动情况下的事件检测也进行了讨论。接着,讨论了适用于移动数据库的ECA规则嵌入方法—基于ECA介体的体系结构。然后,讨论基于移动状况和数据库状态变迁的复合条件评价以及条件评价的优化法。最后,给出了规则执行的语义和移动事务的执行模型及其比较。