论文部分内容阅读
主动规则不仅可以提供传统的数据完整性维护功能，而且还支持版本管理、工作流控制、Web服务聚合等新型的数据库应用。空间信息技术的飞速发展，除了在完整性约束方面对空间数据库提出更高的要求以外，对于主动规则的需求也呈不断上升趋势。因此，支持主动性服务的空间数据库技术对于GIS应用系统的开发和应用有很重要的价值。 研究空间数据库的主动规则关键技术，对于实现主动规则和空间数据库系统的无缝集成，提高系统整体性能至关重要。如果能够结合空间查询的特点，充分利用空间数据库已有的存储管理、查询优化、事务处理等内核功能，那么既可以保证主动规则处理程序高效、可靠地执行，又可以提高应用系统开发的效率和稳健性。同时，空间数据库主动规则的实现可以借鉴现有关系数据库中的成熟技术，是切实可行的。 目前，空间数据库主动功能的实现注重于完整性约束，性能要求不高。结合空间数据模型的特点和空间关系算子，论文的主要研究思路就是从空间ECA模型的事件、条件和动作三部分展开，分别研究空间数据库主动规则的事件检测机制，条件测试模型、规则行为的终止性和合流性问题。具体工作包括下面几个方面： (1) 研究了在空间数据库集成主动规则的方法。基于传统数据库的ECA规则模型，定义了六元组的空间ECA模型，并采用一阶逻辑形式化的描述空间完整性约束，使得约束可以与主动规则在统一模式下处理。通过对空间数据模型特点的分析和空间关系的定义，对空间ECA模型的事件和条件部分均进行了扩展。 (2) 研究了基于空间关系的复合事件检测问题。引入空间复合算子，将传统的事件表达式扩展到空间领域，提出了组合着色Petri网作为事件检测模型，所提出的模型可以充分利用事件公共表达式，描述简洁有效。论文针对Petri网的组合方式、冲突消解等关键问题都提出了解决方法。 (3) 研究了主动规则中的高效条件测试的技术。传统的条件测试模型结构难以充分利用空间查询优化技术，论文采用空间查询代数优化阶段优化技术和空间算子迁移方法改造了传统的条件测试模型规则鉴别网络，提出扩展的空间规则鉴别网络(ESRDN)及其代价模型。 (4) 深入讨论了影响条件测试进一步优化的两个重要因素。针对空间选择率估计方