CO—LOGIC:一种支持约束演绎OODB语言的多类型逻辑 |
| |
引用本文: | 张奠成,李修华.CO—LOGIC:一种支持约束演绎OODB语言的多类型逻辑[J].计算机科学,1996,23(4):70-73. |
| |
作者姓名: | 张奠成 李修华 |
| |
作者单位: | 合肥工业大学人工智能应用研究室,合肥工业大学人工智能应用研究室 合肥 230009,合肥 230009 |
| |
基金项目: | 国家教委博士点专项科研基金 |
| |
摘 要: | 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面,另一些则只支持面向对象方法中一两个基本概
|
关 键 词: | OODB语言 约束演绎 多类型逻辑 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|