面向对象数据库系统中类层次及其复杂性研究

从面向对象数据库系统中类层次的基本概念出发，讨论了对象与类的成员关系和与类之间的交互依赖关系，提出了一种类层次模式描述语言，并讨论了将该语言表达为一阶逻辑的方法，对类层次模式中对象与类以及类与类的关系推理问题的复杂进行了一些分析。