事务逻辑对象库语言

Transaction Logic Object Base Language

对象封装了结构和行为．对象数据库为大规模复杂应用提供良好的建模方法和实现手段．对象与逻辑结合导致目前对演绎对象库的研究．然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述．该文重点研究对象的动态行为，分析对象特征：继承和重载对事务语义的影响，并设计了一个事务对象库语言ＴＯＬ（ｔｒａｎｓａｃｔｉｏｎｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）．首先分析ＴＯＬ中的基本更新活动的特征，然后研究其事务的模型论语义．

With the structure and behavior encapsulated in object, object database supplies large complex applications with better modeling capacity and implementation utilities. Deductive object database results from the integration of object and logic. However, deductive object database focuses more on object structure description and less on object behavior description. In the present paper, the authors study the object dynamic behavior analyze the interaction among inheritance, overriding and transaction, and gives a language called TOL (transaction object base language). The elementary actions in TOL are analyzed first, and then a model semantics is built based on path structure for transactions.