摘要
在移动计算环境中,移动主机具有移动性,移动主机与无线网络的连接状态具有多样性。这些特性要求服务于移动主机的移动数据库系统作出反应和相应的处理。在建立一个主动数据库ECA(event condition action)规则系统模型的基础上,对各种移动事件进行定义,给出了事件的时态逻辑描述,为主动数据库的事件触发提供了新的事件空间,为移动数据库系统的主动处理提供了有效的支持。
In a mobile computing environment, mobile host is characterized by mobility and variety of connected condition with wireless network. These characteristics require the mobile database system which serves mobile hosts to respond to them accordingly. Based on the ECA （event condition action） rule system model of active database, diversified mobile events are defined, and temporal logic description for events is given. New event space is provided for event triggering of the active database system, and effective support is offered for active process of the mobile database system.
出处
《计算机应用与软件》
CSCD
北大核心
2007年第11期67-69,88,共4页
Computer Applications and Software
基金
湖北省自然科学基金(2005ABA245)资助
关键词
移动数据库
主动机制
事件
时态逻辑
Mobile database
Active mechanism
Event
Temporal logic
