Key words Deductive object database, partial set, compact operator, overriding operator, declarative semantics.

• 作者王修伦；1970年生；博士；主要研究领域为对象数据库.；孙永强；1931年生；教授；博导；主要研究领域为计算机软件理论；新型语言；并行处理