基于规则的主动数据库----算法与机制研究

本课题重点研究主动数据库的理论和实现方法。理论上重点进行主动规则的行为分析方法研究。在可终止性和行为一致性问题上，提出了比以往工作更好的分定理，尤其是能更好地支持复合事件和动态检查。此外。第一次采用代数规范说明方法对主动库系统进行了形式化说明。同时针对规则系统数效率低下的问题，提出了并行库的数据分配和连接操作的改善方法，为进一步研究主动并行数据库打下一定基础。实现机制方法，在微机WINDOWS基础台上，用BorlandC++开发了一个主动的面向对象数据库原型系统，支持规则的基本意义。这一工作为今后开发多平台的多用户系统提供了有力的基础。