%0 Journal Article
%T DOL: A Deductive Object Base Language<br>DOL:一个演绎对象库语言
%A WANG Xiu-lun
%A SUN Yong-qiang
%A <br>王修伦
%A 孙永强
%J 软件学报
%D 1998
%I 
%X The integration of deductive database and object database results in deductive object database which has capacities of deductive query of deductive database and strong modeling of object database. DOL (deductive object base language) is designed as a deductive object base language. It supports class, object identifier, complex object, partial set, inheritance and overriding. A immediate consequent operator, similar to tradition's, is defined based on two operators: compact operator and overriding operator in this paper. In addition, a fixed point semantics is analyzed.
%K Deductive object database
%K partial set
%K compact operator
%K overriding operator
%K declarative semantics<br>演绎对象库语言
%K 部分集
%K 压缩操作子
%K 重载操作子
%K 描述型语义.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C44B357C2560BB9B&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=F3090AE9B60B7ED1&sid=E3691231514F8E11&eid=FE17D37BFC90FA6B&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=7