|Principal decisions for a query language for heterogeneous information
resource management systems are discussed. The language is oriented towards
expressing assertions, construction of functions and query formation in
the content of a generalized heterogeneous information resource base.
The paper contributes to the development of declarative query languages
for object-oriented databases that provide deductive capabilities based
on a multisorted predicate logic.
An approach for query evaluation on the basis of a bottom- up meta-interpretation
for a specification of a fixpoint procedure is proposed.
Additional requirements for the proposed query language programs admissibility