Download the full-sized PDF of The Query Model and Query Language of TIGUKATDownload the full-sized PDF



Permanent link (DOI):


Export to: EndNote  |  Zotero  |  Mendeley


This file is in the following communities:

Computing Science, Department of


This file is in the following collections:

Technical Reports (Computing Science)

The Query Model and Query Language of TIGUKAT Open Access


Author or creator
Peters, Randal J.
Lipka, Anna
Ozsu, M. Tamer
Szafron, Duane
Additional contributors
query language
query models
Type of item
Computing Science Technical Report
Computing science technical report ID
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.
Date created
License information
Creative Commons Attribution 3.0 Unported

Citation for previous publication

Link to related item

File Details

Date Uploaded
Date Modified
Audit Status
Audits have not yet been run on this file.
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 1769033
Last modified: 2015:10:12 17:31:45-06:00
Filename: TR93-01.pdf
Original checksum: 6f6e7896d51edcf3e87ef5a469e6a010
Well formed: true
Valid: true
Page count: 102
Activity of users you follow
User Activity Date