CDOL

CDOL:一种全面的声明性对象语言。在本文中,我们提出了一种基于规则的数据库语言,称为CDOL(全面的,声明性的对象语言),是演绎、面向对象和主动数据库技术的集成。CDOL为派生数据、约束、更新和活动规则的表达提供子语言。CDOL的基于规则的查询语言提供了一种表达方法,用派生的属性和类来扩展存储的数据库。约束子语言允许完整性约束的明确声明规范作为数据库一致性的基础。CDOL的更新子语言实现了特定的声明性更新请求,其中更新被封装在与类定义相关联的方法中,从而符合传统的面向对象的设计概念。主动规则子语言提供了支持CDOL应用中的反应行为的活动的、用户透明的代理。特别地,可以使用活动规则来补充声明性更新,以维持关于完整性约束集的数据库一致性。一般使用活动规则来监视特定事件的发生,并在CDOL应用程序中充当警报和触发器。本文介绍了基于规则的CDOL查询语言,并阐述了约束、更新和主动规则子语言在该声明框架上的构建方式。还讨论了方法和事务的使用,以及对活动规则处理的操作语义的讨论。