Technical report TR93-01. The establishment of a formal object model provides a theoretical foundation to investigate other objectbase features such as query processing. In this report, we present an extensible uniform behavioral object query model for the TIGUKAT(*) object management system. The TIGUKAT object model (see TR92-14) is purely behavioral in nature, supports full encapsulation of objects, defines a clear separation between primitive components such as types, classes, collections, behaviors and functions, and incorporates a uniform semantics over objects which makes it a favorable basis for an extensible query model. Every concept that can be modeled in TIGUKAT has the uniform semantics of a first class object with well-defined behavior. Following this semantics, queries are modeled as type and behavioral extensions to the base object model, thus incorporating queries as an extensible part of the model itself. The complete query model definition presented in this report includes: the type and behavior extensions to the base model; a formal object calculus with a logical foundation that introduces a function symbol to incorporate the behavioral paradigm of the object model into the calculus; a behavioral/functional object algebra with a comprehensive set of object-preserving and object-creating operators; an SQL-like ad hoc query language (TQL) for user-level retrieval of objects; user-level definition and control languages (TDL and TCL) for defining new types, classes, behaviors, functions, etc., and for controlling an interactive session with the query processor; a rigorous definition of safety based on the evaluable class of queries which is arguably the largest decidable subclass of the domain independent class; a notion of completeness that includes reductions between the algebra and calculus that prove their equivalence and a reduction from the user-level language to the calculus; and in addition to the formal aspects, we give a complete algorithmic translation from the calculus into the object algebra. At this point, the algebraic expressions can be optimized and an execution plan can be generated and passed to the storage manager for processing. A prototype implementation of the object model on top of the EXODUS storage manager is ongoing. We are implementing a compiler for the user language and an extensible query optimizer for the algebra. Furthermore, we are developing a view manager, with update semantics, for the model. *TIGUKAT (tee-goo-kat) is a term in the language of the Canadian Inuit people meaning \"objects.\" The Canadian Inuits, commonly known as Eskimos, are native to Canada with an ancestry originating in the Arctic regions of the country. | TRID-ID TR93-01