主动数据库系统的代数规范说明

传统的非线式化的系统描述方法已不能适应主动数据库研究的的需要。本文提出了采用代数规范说明的方法，形式化、结构化地描述规则系统的语法、语义，行为特征，并以此作为进一步分析和研究方动规则的理论基础。