%0 Journal Article
%T CO—LOGIC：一种支持约束演绎OODB语言的多类型逻辑
%A 张奠成
%A 李修华
%J 计算机科学
%D 1996
%I 
%X 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面,另一些则只支持面向对象方法中一两个基本概
%K OODB语言
%K 约束演绎
%K 多类型逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BF97D76FFDE08D425EECBACCA260C1D7&yid=8A15F8B0AA0E5323&vid=EA389574707BDED3&iid=E158A972A605785F&sid=09ABD5535D9B6D45&eid=B9704B40A4225A24&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=0