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

作　　者：姜跃平[1] 胡运发[1] 

机构地区：[1]复旦大学计算机系

出　　处：《软件学报》1997年第A00期220-226,共7页Journal of Software

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

关 键 词：数据库 规范说明 代数规范 主动数据库系统 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]