  In this report the conceptual query language ConQuer-92 is introduced. This
query language serves as the backbone of InfoAssistant's query facilities.
Furthermore, this language can also be used for the specification of derivation
rules (e.g. subtype defining rules) and textual constraints in InfoModeler.
This report is solely concerned with a formal definition, and the explanation
thereof, of ConQuer-92. The implementation of ConQuer-92 in SQL-92 will be
treated in a separate report.
