×

CDOL:一种全面的声明性对象语言。 (英语) Zbl 0907.68060号

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

MSC公司:

第68页,共15页 数据库理论
68甲15 程序设计语言理论

软件:

CDOL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部