一种具有约束演绎能力的面向对象数据库语言CDOL  

CDOL:AN OBJECT-ORIENTED DATABASE LANGUAGE WITH CONSTRAINT DEDUCTIVE ABILITY

作　　者：王浩[1] 张奠成[1] 

机构地区：[1]合肥工业大学计算机与信息系,合肥230009

出　　处：《计算机学报》1998年第S1期184-189,共6页Chinese Journal of Computers

基　　金：国家博士点基金

摘　　要：本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL．该语言将面向值和面向对象模型集成在一起，约束关系可以显式描述并作为知识直接进入推理查询过程．CDOL可作为智能化CAX环境的核心数据库查询语言，本文着重介绍其语法和语义．This paper presents a rule--based object-oriented database query language (CDOL) withconstraint solving ability. the CDOL integrates value--oriented and object--oriented data models. Theconstraint relations can be explicitly represented as the knowledge used in reasoning proceduredirectly. The CDOL can be used as query language of the kernel database of intelligent CAxenvironment. The syntax and the semantics of the CDOL are discussed in this paper.

关 键 词：演绎 面向对象数据库 基于规则的查询语言 约束逻辑 

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