【摘要】 本文用三元组集合来表示面向对象数据库的概念视图，并以此为基础给出了ＯＯＤＢ上操作的形式描述．由于消息１传递可能产生副作用，ＯＯＤＢ上各种操作的副作用也是不可避免的．本文所给出的形式模型对副作用作了精确定义．更多还原

【Abstract】 This paper uses tri-tuple to represent conceptual view of an object-oriented database, and formally defines various operations on OODBs. Because message passing is substantially subject to side-effects, all the operations on OODBscan not avoid side-effects. The data model presented in this paper well define theside effects of these operations.更多还原