From: ghogen@zeus.informatik.rwth-aachen.de (Guido Hogen)
Newsgroups: comp.doc.techreports
Subject: Technical reports from RWTH Aachen
Date: Thu, 1 Oct 92 08:16:52 +0100
Organization: University of California, Santa Cruz
NNTP-Posting-Host: oak.ucsc.edu
Originator: golding@oak

 
                     RWTH Aachen 
            (Aachen University of Technology) 
                       Germany
            Department of Computer Science

             
Anonymous ftp address: ftp.informatik.rwth-aachen.de  (137.226.112.31) 
Directory: /pub/reports
Format: Compressed PostScript File

****************************************************************************
| If you are interested in receiving announcements of new reports (once or |
| twice a month), please write to                                          |
|            tr-announce-request@informatik.rwth-aachen.de                 |
| with your e-mail address in the subject line.                            |
****************************************************************************

            Aachener Informatik-Berichte
            ----------------------------
 
**************** Now available **********************

Filename: 91-19.ps.Z

TITLE     = From Relational to Object-Oriented Integrity Simplification
NUMBER    = 91-19
AUTHORS   = Manfred Jeusfeld, Matthias Jarke
PAGES     = 18
ABSTRACT  = Relational integrity checking technology can be transfered to
            deductive object bases by utilizing a simple logical framework
            for objects. The principles of object identity, aggregation and
            classification allow a more efficient constraint control by
            finer granularity of updates, composite updates and semantic
            constraint simplification. In many cases, meta-level constraints
            and deductive rules can be handled efficiently by a stepwise
            compilation approach. An extended integrity subsystem with these
            features has been implemented in the deductive object base
            ConceptBase.

--------------------------------------------------------------------------------

Filename: 91-26.ps.Z

TITLE     = Query Optimization in Deductive Object Bases
NUMBER    = 91-26
AUTHORS   = Manfred Jeusfeld, Martin Staudt
PAGES     = 23
ABSTRACT  = Deductive object bases are extended database systems which
            amalgamate structural object-orientation with logical
            specification. Queries in such a system are regarded both as
            classes and as deduction rules. Besides a general architecture
            for query processing in deductive object bases, two specific
            query optimization techniques are presented: semantic query
            optimization with structural axioms of the object base, and
            view maintenance optimization. The approach has been formalized
            in the language Telos and implemented in the system ConceptBase.

----------------------------------
Guido Hogen
tr-admin@informatik.rwth-aachen.de
----------------------------------
===========================================================================
Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
	    compdoc-techreports-request@ftp.cse.ucsc.edu