论文部分内容阅读
该文介绍了在数据库及程序设计语言高层上进行扩充以支持抽象复杂对象表示的基本思想。该思想是对一高级程序设计语言类型系统进行扩充以增加复杂类型的递归。在这种扩充后的数据库及程序设计环境中,其底层的“递归”复杂对象模型对于层次结构的对象表示是十分有效的。在这种模型中,程序设计语言的上下文关系可提供递归数据类型和基于这种类型上的变量,以及用以对递归定义的对象进行描述的递归过程的定义等。