Query Optimization in Deductive Object Bases

M. Jeusfeld, M. Staudt

	    Deductive object bases are extended database systems
	    which amalgamate structural object-orientation with logical
	    specification. Queries in such a system are regarded both as
	    classes and as deduction rules. Besides a general architecture
	    for query processing in deductive object bases, two specific
	    query optimization techniques are presented: semantic query
	    optimization with structural axioms of the object base,
	    and view maintenance optimization. The approach has been
	    formalized in the language Telos and implemented in the
	    system ConceptBase.