面向对象数据库的形式化模型  

A FORMAL DATA MODEL FOR OBJECT-ORIENTED DATABASES

作　　者：陈睿[1] 

机构地区：[1]华南理工大学计算机科学与工程系

出　　处：《计算机学报》1997年第1期68-76,共9页Chinese Journal of Computers

基　　金：广东省自然科学基金

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

关 键 词：面向对象 数据库 查询 形式模型 集合论 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]