论文部分内容阅读
对象封装了结构和行为。对象数据库为大规模复杂应用提供良好的建模方法和实现手段。对象与逻辑结合导致目前对演绎对象库的研究。然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述。该文重点研究对象的动态行为，分析对象特征：继承和重载对事务语义的影响，并设计了一个事务对象库语言。首先分析ＴＯＬ中的基本更新活动的特征，然后研究其事务的模型论语义。ＴＯＬ模型论语义基于通路结构。