%0 Journal Article
%T Transaction Logic Object Base Language<br>事务逻辑对象库语言
%A WANG Xiu-lun
%A SUN Yong-qiang
%A <br>王修伦
%A 孙永强
%J 软件学报
%D 1998
%I 
%X 对象封装了结构和行为.对象数据库为大规模复杂应用提供良好的建模方法和实现手段.对象与逻辑结合导致目前对演绎对象库的研究.然而,这些研究基本上针对对象的结构描述,而很少涉及到对象的动态行为的描述.该文重点研究对象的动态行为,分析对象特征：继承和重载对事务语义的影响,并设计了一个事务对象库语言TOL(transaction object base language).首先分析TOL中的基本更新活动的特征,然后研究其事务的模型论语义.TOL模型论语义基于通路结构.
%K Transaction logic
%K object database
%K declarative semantics<br>事务逻辑
%K 对象数据库
%K 描述型语义.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C1EC42ACD8D24BBC&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=F3090AE9B60B7ED1&sid=8D71AF42ACD39979&eid=849F08713EB6820A&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=6