%0 Journal Article
%T 事务逻辑对象库语言
%A 王修伦？
%A 孙永强？
%J 软件学报
%P 760-765
%D 1998
%X 对象封装了结构和行为.对象数据库为大规模复杂应用提供良好的建模方法和实现手段.对象与逻辑结合导致目前对演绎对象库的研究.然而,这些研究基本上针对对象的结构描述,而很少涉及到对象的动态行为的描述.该文重点研究对象的动态行为,分析对象特征：继承和重载对事务语义的影响,并设计了一个事务对象库语言tol(transactionobjectbaselanguage).首先分析tol中的基本更新活动的特征,然后研究其事务的模型论语义.tol模型论语义基于通路结构.
%K 事务逻辑
%K 对象数据库
%K 描述型语义.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19981007&flag=1