Related Communities:

A Generalized Information Resource Query Language

A Generalized Information Resource Query Language And Basic Query Evaluation Technique.

Author(s): Kalinichenko L.A., Zadorozhny V.I.
Published:Deductive and Object-Oriented Databases: Proc of the Second International Conference DOOD'91. LNCS 566. -- Berlin-Heidelberg: Springer-Verlag, 1991. -- P. 546--566.
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 are presented.

Download: [ PostScript ]

Supported by Synthesis Group