摘要
数据模型的形式化描述是面向对象的数据库研究的理论基础。ODMDBD是作者正在开发的一个面向对象的数据库模型。本文运用集合论、偏序关系等数学工具,对面向对象的数据模型的许多概念给出了形式定义,包括对象、对象标识、模式、方法、基调、继承性等,在此基础上给出了面向对象的数据库的定义。本文旨在建立一个面向对象数据模型的形式框架。
Formal specification of the data model is the theoretical foundation of object-oriented database researches. ODMDBD is an object-oriented data model for the data base design. Using the set theory, partial order and other mathematic branches, this paper gives the formal definiton of concepts such as object, object identity, scheme, method, signature and inheritance of ODMDBD. Formal definition of object-oriented database (OODB) is also given in the paper. The goal of this paper is to build a formal framework of the object-oriented data model.
关键词
面向对象
数据库
模型
形式描述
object-oriented
data model
method
signature
inheritance
