%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