事务逻辑对象库语言

摘要

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