摘要
本文提出关于复杂对象模拟的形式化理论.文中给出对象和型的广义数据模型以及型的重构定义,并将其概念从数据组织扩展到对象演算;讨论广义对象代数;提出符号对象模型以统一面向对象数据库系统对于对象的标识、管理和操作,以至于由多层次对象演算到一阶逻辑的映射.这一工作将为有关复杂对象的数学模型、操作代数和演绎推理的各种概念和方法构成具有连贯性和一致性的统一理论体系奠定了一定的基础.
The formalisms of complex objects and types are developed, including the lattice object model and the token object model, the theory of types and type reconstructions. These formalisms are conceptually consistent which can be used to define the generalized object algebra and object calculus, to underlie the object-oriented database approach and to decompose the hierarchically structured objects into level-independent, flat schemes to support both complex object management and complex object reasoning. This work may be viewed as the foundation for developing generalized database and knowledge base systems.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第8期561-569,共9页
Chinese Journal of Computers
